M. M. van Paassen, Matthew L. Bolton, Noelia Jimenez. Checking formal verification models for human-automation interaction. In 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014. pages 3709-3714, IEEE, 2014. [doi]
Abstract is missing.