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]

Authors

Steven J. Landry

This author has not been identified. Look up 'Steven J. Landry' in Google

Amit V. Lagu

This author has not been identified. Look up 'Amit V. Lagu' in Google

Jouko Kinnari

This author has not been identified. Look up 'Jouko Kinnari' in Google