@misc{indiciae52edd0584bda,
  title = {Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems},
  author = {Bardh Hoxha and Adel Dokhanchi and Georgios Fainekos},
  year = {2016},
  doi = {10.1007/s10009-017-0447-4},
  url = {https://arxiv.org/abs/1512.07956},
  note = {Source identifier: 1512.07956}
}