@inproceedings{hoxha2015vispec,
  title = {VISPEC: A graphical tool for elicitation of MTL requirements},
  author = {Hoxha, Bardh and Mavridis, Nikolaos and Fainekos, Georgios},
  booktitle = {2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
  pages = {3486--3492},
  year = {2015},
  organization = {IEEE},
  url = {http://www.bhoxha.com/papers/iros2015.pdf},
  keywords = {Testing, Falsification, and Specification}
}