Michael Heymann, Asaf Degani. On the Construction of Human-Automation Interfaces by Formal Abstraction. In Sven Koenig, Robert C. Holte, editors, Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings. Volume 2371 of Lecture Notes in Computer Science, pages 99-115, Springer, 2002. [doi]
Abstract is missing.