Using Systems Engineering to Model the Interaction of the Pilot, the Aircraft, and the Procedures | IEEE Conference Publication | IEEE Xplore