TY  - RPRT
TI  - Timing analysis by model checking
AU  - Naydich, Dimitri
AU  - Guaspari, David
PY  - 2000
UR  - https://ntrs.nasa.gov/citations/20000055723
ID  - 20000055723
ER  -