LARA This is an old revision of the document! Communications in Formal Methods 5 pages in this 2-column format (local copy here) Reviewed Experimental data uploaded and stored Using arxiv.org