Aymen Louati, Kamel Barkaoui. Formal Verification of UML2 Timing Diagrams based on Time Petri Nets. IJISSS, 8(2):87-97, 2016. [doi]
@article{LouatiB16,
title = {Formal Verification of UML2 Timing Diagrams based on Time Petri Nets},
author = {Aymen Louati and Kamel Barkaoui},
year = {2016},
doi = {10.4018/IJISSS.2016040107},
url = {http://dx.doi.org/10.4018/IJISSS.2016040107},
researchr = {https://researchr.org/publication/LouatiB16},
cites = {0},
citedby = {0},
journal = {IJISSS},
volume = {8},
number = {2},
pages = {87-97},
}