Simona Bernardi, Javier Campos, José Merseguer. Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques. IEEE Trans. Industrial Informatics, 7(1):90-104, 2011. [doi]
@article{BernardiCM11,
title = {Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques},
author = {Simona Bernardi and Javier Campos and José Merseguer},
year = {2011},
doi = {10.1109/TII.2010.2098415},
url = {http://dx.doi.org/10.1109/TII.2010.2098415},
tags = {UML, design},
researchr = {https://researchr.org/publication/BernardiCM11},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Industrial Informatics},
volume = {7},
number = {1},
pages = {90-104},
}