Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte: SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. FDL 2004: 672-684