TY  - RPRT
TI  - Software Model Checking of ARINC-653 Flight Code with MCP
AU  - Thompson, Sarah J.
AU  - Brat, Guillaume
AU  - Venet, Arnaud
PY  - 2010
UR  - https://ntrs.nasa.gov/citations/20100018550
ID  - 20100018550
ER  -