Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang. Towards a verified transformation from AADL to the formal component-based language FIACRE.
Science of Computer Programming, Elsevier, 2015, vol. 106, pp. 30-53.
⟨10.1016/j.scico.2015.03.003⟩.
⟨hal-01278902⟩