TITLE     : Using hybrid automata to support human factors analysis in a critical system
AUTHOR(S) : Doherty G, Massink M, Faconti G
TYPE      : Conference article
YEAR      : 1999
CODE      : 190558

*** DO NOT EDIT THIS FILE ***