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]
@inproceedings{GodaryAM04,
title = {SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive},
author = {Karen Godary and Isabelle Augé-Blum and Anne Mignotte},
year = {2004},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=657},
tags = {architecture},
researchr = {https://researchr.org/publication/GodaryAM04},
cites = {0},
citedby = {0},
pages = {672-684},
booktitle = {Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings},
publisher = {ECSI},
}