TY  - RPRT
TI  - Modeling Techniques for High Dependability Protocols and Architecture
AU  - LaValley, Brian
AU  - Ellis, Peter
AU  - Walter, Chris J.
PY  - 2012
UR  - https://ntrs.nasa.gov/citations/20120014310
ID  - 20120014310
ER  -