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