TY  - RPRT
TI  - Reliable software systems design: defect prevention, detection, and containment
AU  - Holzmann, Gerard J.
AU  - Joshi, Rajeev
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20060042818
ID  - 20060042818
ER  -