Bernard Berthomieu Jean-Paul Bodeveix Christelle Chaudet Silvano Dal-Zilio Mamoun Filali François Vernadat Formal Verification of AADL Specifications in the Topcased Environment. 207-221 2009 Ada-Europe http://dx.doi.org/10.1007/978-3-642-01924-1_15 conf/adaEurope/2009 db/conf/adaEurope/adaEurope2009.html#BerthomieuBCDFV09