Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali, et al.. Formal Verification of AADL models with Fiacre and Tina.
ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9.
⟨hal-00494348⟩