Automated verification of temporal dialogue properties. - Gregory D. Abowd; Lein Ton (ACM SIGCHI Bull., 1996)