Karen Godary Isabelle Augé-Blum Anne Mignotte SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. 672-684 2004 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=657 conf/fdl/2004 db/conf/fdl/fdl2004.html#GodaryAM04