@misc{indiciae6c2a0749b4cf,
  title = {From Formalised State Machines to Implementations of Robotic Controllers},
  author = {Wei Li and Alvaro Miyazawa and Pedro Ribeiro and Ana Cavalcanti and Jim Woodcock and Jon Timmis},
  year = {2017},
  url = {https://arxiv.org/abs/1702.01783},
  note = {Source identifier: 1702.01783}
}