Alexandre Scaico, Maria de F. Q. Vieira, Marckson R. F. de Sousa, Charles Santoni. Investigating System Navigation Ergonomics through Model Verification. In T. C. Nicholas Graham, Philippe A. Palanque, editors, Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Volume 5136 of Lecture Notes in Computer Science, pages 86-91, Springer, 2008. [doi]
Abstract is missing.