TY  - RPRT
TI  - Software Development Technologies for Reactive, Real-Time, and Hybrid Systems
AU  - Manna, Zohar
PY  - 1996
UR  - https://ntrs.nasa.gov/citations/19970028029
ID  - 19970028029
ER  -