J. Hugues, B. Zalila, L. Pautet, and F. Kordon, 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

B. Meyer, Object-Oriented Software Construction, 1997.

D. Deveaux, J. Jézéquel, and Y. Le-traon, Reliable Objects: Lightweight Testing for OO Languages, IEEE Software, 2001.

M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, 2006.