Bibtex de la publication

@InCollection{ Wa2016.1,
author = {Wang, Timothy and Jobredeaux, Romain and Henrencia, Heber and Garoche, Pierre-Loïc and Feron, Eric and Pantel, Marc},
title = "{From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems}",
booktitle = "{Advances in Control System Technology for Aerospace Applications}",
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
year = {2016},
editor = {Féron, Eric},
pages = {137--180},
language = {anglais}
}