@misc{indiciae2b4806e07d14,
  title = {Synthesizing Finite-state Protocols from Scenarios and Requirements},
  author = {Rajeev Alur and Milo Martin and Mukund Raghothaman and Christos Stergiou and Stavros Tripakis and Abhishek Udupa},
  year = {2014},
  url = {https://arxiv.org/abs/1402.7150},
  note = {Source identifier: 1402.7150}
}