使用焦点环境对机场安全法规进行形式化建模| IEEE会议出版物| IEEE Xplore