Karen Godary, Isabelle Augé-Blum, Anne Mignotte. SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. In Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings. pages 672-684, ECSI, 2004. [doi]
Abstract is missing.