Producing UML Models from Focal Specifications: An Application to Airport Security Regulations | IEEE Conference Publication | IEEE Xplore