@misc{indiciae7f3c87d57535,
  title = {Smart Contract Design Meets State Machine Synthesis: Case Studies},
  author = {Dmitrii Suvorov and Vladimir Ulyantsev},
  year = {2019},
  url = {https://arxiv.org/abs/1906.02906},
  note = {Source identifier: 1906.02906}
}