TY  - RPRT
TI  - Model Based Engineering for Software Assurance
AU  - Wang, Lui
AU  - Izygon, Michel
AU  - Evans, John
AU  - Crumbley, Tim
PY  - 2019
UR  - https://ntrs.nasa.gov/citations/20190032026
ID  - 20190032026
ER  -