@misc{indiciae30e8c91c557a,
  title = {On Implementing Real-time Specification Patterns Using Observers},
  author = {John D. Backes and Michael W. Whalen and Andrew Gacek and John Komp},
  year = {2016},
  url = {https://arxiv.org/abs/1604.08155},
  note = {Source identifier: 1604.08155}
}