Régine Laleau Yves Ledru Didier Bert Fabrice Bouquet Michel Lemoine Catherine Dubois Véronique Donzeau-Gouge Sylvie Vignes Using Computer Science Modeling Techniques for Airport Security Certification. 61-72 2007 conf/rcis/2007 RCIS db/conf/rcis/rcis2007.html#LaleauLBBLDDV07