Ouassila Labbani Jean-Luc Dekeyser Pierre Boulet Mode-Automata Based Methodology for Scade. 386-401 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3414&spage=386 2005 conf/hybrid/2005 HSCC db/conf/hybrid/hscc2005.html#LabbaniDB05