"Validate, simulate, and implement ARINC653 systems using the AADL."

Julien Delange et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics