# Towards a verified transformation from AADL to the formal component-based language FIACRE

> Research article (Science of Computer Programming, 2015) · cited 16× · AI/ML

**Wikidata**: [openalex:W2049868318](https://www.wikidata.org/wiki/openalex:W2049868318)  
**Source**: https://4ort.xyz/entity/towards-a-verified-transformation-from-aadl-to-the-formal-component-based-language-fiacre