Formal Modeling of Airport Security Regulations using the Focal Environment | IEEE Conference Publication | IEEE Xplore