Yamine Aït Ameur Remi Delmas Virginie Wiels Un cadre formel pour la spécification multivue de systèmes avioniques. 43-72 2006 25 Technique et Science Informatiques 1 http://tsi.revuesonline.com/article.jsp?articleId=7913 db/journals/tsi/tsi25.html#AmeurDW06