Using Hybrid Automata to Support Human Factors Analysis in a Critical System.

Gavin J. Doherty Mieke Massink Giorgio P. Faconti Using Hybrid Automata to Support Human Factors Analysis in a Critical System. 143-164 2001 19 Formal Methods in System Design 2 db/journals/fmsd/fmsd19.html#DohertyMF01