Formal Verification of AADL models with Fiacre and Tina (2010)

by B Berthomieu, J-P Bodeveix, C Chaudet, S Dal Zilio, P Dissaux, M Filali, S Heim, P Gaufillet, F Vernadat
Venue:In Proc. of ERTSS 2010–5th International Congress and Exhibition on Embedded Real-Time Software and Systems