@misc{indiciae1e4cf35d5495,
  title = {Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems},
  author = {McKelvin, Mark L., Jr. and Gamble, Edward and Holzmann, Gerard},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20150005887},
  note = {Source identifier: 20150005887}
}