@misc{indiciaef992f66fdbd5,
  title = {From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems},
  author = {Timothy Wang and Romain Jobredeaux and Heber Herencia and Pierre-Loic Garoche and Arnaud Dieumegard and Eric Feron and Marc Pantel},
  year = {2013},
  url = {https://arxiv.org/abs/1307.2641},
  note = {Source identifier: 1307.2641}
}