
Towards a verified transformation from AADL to the formal component-based language FIACRE
Keywords: Formal verification; Architecture description languages; Model driven engineering; Model transformation; Timed transition systems