Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek. TURTLE-P: a UML profile for the formal validation of critical and distributed systems. Software and Systems Modeling, 5(4):449-466, 2006. [doi]
@article{ApvrilleSK06, title = {TURTLE-P: a UML profile for the formal validation of critical and distributed systems}, author = {Ludovic Apvrille and Pierre de Saqui-Sannes and Ferhat Khendek}, year = {2006}, doi = {10.1007/s10270-006-0029-5}, url = {http://dx.doi.org/10.1007/s10270-006-0029-5}, tags = {UML}, researchr = {https://researchr.org/publication/ApvrilleSK06}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {5}, number = {4}, pages = {449-466}, }