Matthew L. Bolton, Ellen J. Bass. Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 343-377, Springer International Publishing, 2017. [doi]
Abstract is missing.