LARA This is an old revision of the document! Communications in Formal Methods 5 pages in 2-column format, all included. Style restrictions may apply Reviewed Experimental data uploaded and stored Using arxiv.org
