@misc{indiciae4c540ec99f05,
  title = {Exact Finite-State Machine Identification from Scenarios and Temporal Properties},
  author = {Vladimir Ulyantsev and Igor Buzhinsky and Anatoly Shalyto},
  year = {2016},
  doi = {10.1007/s10009-016-0442-1},
  url = {https://arxiv.org/abs/1601.06945},
  note = {Source identifier: 1601.06945}
}