@misc{indiciae3531e784ebc7,
  title = {Formal Specification of Continuum Deformation Coordination},
  author = {Hossein Rastgoftar and Jean-Baptiste Jeannin and Ella Atkins},
  year = {2019},
  url = {https://arxiv.org/abs/1907.12913},
  note = {Source identifier: 1907.12913}
}