TY  - RPRT
TI  - Making real-time reactive systems reliable
AU  - Marzullo, Keith
AU  - Wood, Mark
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900017028
ID  - 19900017028
ER  -