@inproceedings{marqDemo,
  author    = {Giles Reger},
  title     = {An Overview of MarQ},
  booktitle = {Runtime Verification - 16th International Conference, {RV} 2016. Proceedings},
  year      = {2016},
}