David Delahaye Jean-Frédéric Étienne Véronique Donzeau-Gouge Certifying Airport Security Regulations Using the Focal Environment. 48-63 2006 conf/fm/2006 FM http://dx.doi.org/10.1007/11813040_4 db/conf/fm/fm2006.html#DelahayeED06