From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite, ACM Transactions in Embedded Computing Systems, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01175916
Object-Oriented Software Construction, 1997. ,
Reliable Objects: Lightweight Testing for OO Languages, IEEE Software, 2001. ,
Practical Model-Based Testing: A Tools Approach, 2006. ,