TY  - RPRT
TI  - Modeling Controller Tasks for Safety Analysis
AU  - Brown, Molly
AU  - Leveson, Nancy G.
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/19990063824
ID  - 19990063824
ER  -