Patrick Augé Brigitte Rozoy T. Maurin Roger Reynaud Kamel Bouchefra Simulation and verification of an embedded system. 272-275 2001 conf/cata/2001 Computers and Their Applications db/conf/cata/cata2001.html#AugeRMRB01