Ludovic Apvrille Jean-Pierre Courtiat Christophe Lohr Pierre de Saqui-Sannes TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. 473-487 2004 30 IEEE Trans. Software Eng. 7 http://doi.ieeecomputersociety.org/10.1109/TSE.2004.34 db/journals/tse/tse30.html#ApvrilleCLS04