Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes. TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Trans. Software Eng., 30(7):473-487, 2004. [doi]
@article{ApvrilleCLS04,
title = {TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit},
author = {Ludovic Apvrille and Jean-Pierre Courtiat and Christophe Lohr and Pierre de Saqui-Sannes},
year = {2004},
doi = {10.1109/TSE.2004.34},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2004.34},
tags = {UML},
researchr = {https://researchr.org/publication/ApvrilleCLS04},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {30},
number = {7},
pages = {473-487},
}