@misc{indiciaee3d949de2f29,
  title = {Logic Model Checking of Time-Periodic Real-Time Systems},
  author = {Florian, Mihai and Gamble, Ed and Holzmann, Gerard},
  year = {2012},
  url = {https://ntrs.nasa.gov/citations/20150008744},
  note = {Source identifier: 20150008744}
}