@misc{indiciaede66e016e32a,
  title = {Real-Time System Verification by Kappa-Induction},
  author = {Pike, Lee S.},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20050170449},
  note = {Source identifier: 20050170449}
}