TY  - RPRT
TI  - From Formalised State Machines to Implementations of Robotic Controllers
AU  - Wei Li
AU  - Alvaro Miyazawa
AU  - Pedro Ribeiro
AU  - Ana Cavalcanti
AU  - Jim Woodcock
AU  - Jon Timmis
PY  - 2017
UR  - https://arxiv.org/abs/1702.01783
ID  - 1702.01783
ER  -