"An approach to formal verification of human-computer interaction."

Paul Curzon, Rimvydas Ruksenas, Ann Blandford (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics