TY  - RPRT
TI  - A quantitative risk-based model for reasoning over critical system properties
AU  - Feather, M. S.
PY  - 2002
UR  - https://ntrs.nasa.gov/citations/20060029941
ID  - 20060029941
ER  -