Castel C, & Seguin C (2001). http://altarica.labri.fr/pub/publications/afadl2001.pdf Modèles formels pour l’évaluation de la sûreté de fonctionnement des architectures logicielles d’avionique modulaire intégrée]. AFADL : Approches Formelles dans l'assistance au développement de logiciels, PDF, 15 p
Carcenac F (2005) Une méthode d’abstraction pour la vérification des systèmes embarqués distribués: application à l'avionique (Thèse de doctorat, PhD thesis, École Nationale Supérieure de l’Aéronautique et de l’Espace) (résumé).