Yves Ledru Régine Laleau Michel Lemoine Sylvie Vignes Didier Bert Véronique Donzeau-Gouge Catherine Dubois Fabien Peureux An attempt to combine UML and formal methods to model airport security. 2006 conf/caise/2006fo CAiSE Forum http://www.ceur-ws.org/Vol-231/Paper11.pdf db/conf/caise/caisefo2006.html#LedruLLVBDDP06