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

*** DO NOT EDIT THIS FILE ***