Charles Pecheur Verification of Embedded Software: From Mars to Actions. 1 2007 FMICS http://dx.doi.org/10.1007/978-3-540-79707-4_1 conf/fmics/2007 db/conf/fmics/fmics2007.html#Pecheur07