TY  - RPRT
TI  - Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
AU  - McKelvin, Mark L., Jr.
AU  - Gamble, Edward
AU  - Holzmann, Gerard
PY  - 2011
UR  - https://ntrs.nasa.gov/citations/20150005887
ID  - 20150005887
ER  -