Specification and Verification of Design Models for Certifiable Avionics Software Source de subvention Natural Sciences and Engineering Research Council of Canada (NSERC) and CRIAQ- Collaborative Research and Development Professeur(e)s impliqués Ghizlane El Boussaidi (École de technologie supérieure)