State-based modeling of continuous human-integrated systems: An application to air traffic separation assurance

Steven J. Landry, Amit V. Lagu, Jouko Kinnari. State-based modeling of continuous human-integrated systems: An application to air traffic separation assurance. Rel. Eng. & Sys. Safety, 95(4):345-353, 2010. [doi]

Abstract

Abstract is missing.