Bertram Wortelen, Andreas Lüdtke, Denis Javaux, Sonja Sievi. Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study. In Christian Stary, editor, Proceedings of the 2014 European Conference on Cognitive Ergonomics, ECCE '14, Vienna, Austria, September 1-3, 2014. ACM, 2014. [doi]
Abstract is missing.