The following publications are possibly variants of this publication:
- Reasoning about Airport Security Regulations Using the Focal EnvironmentDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge. ISoLA 2006: 45-52 [doi]
- Modeling Airport Security Regulations in FocalDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge. caise 2007: [doi]
- Formal Modeling of Airport Security Regulations using the Focal EnvironmentDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge. RE 2008: 16-20 [doi]
- Producing UML Models from Focal Specifications: An Application to Airport Security RegulationsDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge. tase 2008: 121-124 [doi]
- A formal and sound transformation from Focal to UML : an application to airport security regulationsDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge. isse, 4(3):267-274, 2008. [doi]