David Delahaye Jean-Frédéric Étienne Véronique Donzeau-Gouge Reasoning about Airport Security Regulations Using the Focal Environment. 45-52 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.25 conf/isola/2006 db/conf/isola/isola2006.html#DelahayeED06