@misc{indiciaebec7de08770a,
  title = {Execution-Based Model Checking of Interrupt-Based Systems},
  author = {Drusinsky, Doron and Havelund, Klaus},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20040010841},
  note = {Source identifier: 20040010841}
}