@misc{indiciae13015e5b487d,
  title = {Synthesizing Modular Invariants for Synchronous Code},
  author = {Pierre-Loic Garoche and Arie Gurfinkel and Temesghen Kahsai},
  year = {2014},
  doi = {10.4204/eptcs.169.4},
  url = {https://arxiv.org/abs/1412.1152},
  note = {Source identifier: 1412.1152}
}