| Formal Method for Developing Part-Task Training for a Modern Autopilot  (2000) none none formal method, modern autopilot, part-task training Paper presented at the 3rd International Conference on Engineering Psychology and Cognitive Ergonomics, Edinburgh, Scotland (October  25-27) |