@article{hoxha2017mining,
  title = {Mining parametric temporal logic properties in model-based design for cyber-physical systems},
  author = {Hoxha, Bardh and Dokhanchi, Adel and Fainekos, Georgios},
  journal = {International Journal on Software Tools for Technology},
  pages = {15},
  year = {2017},
  publisher = {Springer},
  url = {http://rdcu.be/o1h0},
  keywords = {Testing, Falsification, and Specification}
}