David Delahaye Jean-Frédéric Étienne Véronique Donzeau-Gouge Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. 121-124 2008 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2008.35 conf/tase/2008 db/conf/tase/tase2008.html#DelahayeED08