Method for Formal Analysis of the Type and Content of Airline Standard Operating Procedures | IEEE Conference Publication | IEEE Xplore