@misc{indiciae8b47c9a7537f,
  title = {Formal Verification of Real-Time Function Blocks Using PVS},
  author = {Linna Pang and Chen-Wei Wang and Mark Lawford and Alan Wassyng and Josh Newell and Vera Chow and David Tremaine},
  year = {2015},
  doi = {10.4204/eptcs.184.5},
  url = {https://arxiv.org/abs/1506.03557},
  note = {Source identifier: 1506.03557}
}