@misc{indiciae7a5558d46b82,
  title = {Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces},
  author = {Mikhail Chupilko and Alexander Kamkin},
  year = {2013},
  doi = {10.4204/eptcs.111.6},
  url = {https://arxiv.org/abs/1303.1010},
  note = {Source identifier: 1303.1010}
}