Simulation and verification of an embedded system. - Patrick Augé; Brigitte Rozoy; Thierry Maurin; Roger Reynaud; Kamel Bouchefra (CATA, 2001)

MARRELLA and the Verification of an Embedded System. - Dominique Ambroise; Patrick Augé; Kamel Bouchefra; Brigitte Rozoy (FoSSaCS, 2001)