Yves Ledru Régine Laleau Sylvie Vignes Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. 155-170 2007 conf/inforsid/2007 INFORSID db/conf/inforsid/inforsid2007.html#LedruLV07