TY  - RPRT
TI  - Developing an Approach for Analyzing and Verifying System Communication
AU  - Stratton, William C.
AU  - Lindvall, Mikael
AU  - Ackermann, Chris
AU  - Sibol, Deane E.
AU  - Godfrey, Sally
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20090014714
ID  - 20090014714
ER  -