Dominique Ambroise Patrick Augé Kamel Bouchefra Brigitte Rozoy MARRELLA and the Verification of an Embedded System. 409-412 2001 conf/fossacs/2001 FoSSaCS http://dx.doi.org/10.1007/3-540-45315-6_27 db/conf/fossacs/fossacs2001.html#AmbroiseABR01