Bibtex de la publication

@InProceedings{ To2014.3,
author = {Toom, Andres and Dieumegard, Arnaud and Pantel, Marc},
title = "{Specifying and Verifying Model Transformations for Certified Systems using Transformation Models (regular paper)}",
booktitle = "{International Conference on Embedded Real Time Software and Systems (ERTS2), Toulouse, 03/02/2014-05/02/2014}",
year = {2014},
month = {février},
publisher = {SIA/3AF/SEE},
pages = {(on line)},
language = {anglais},
URL = {http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_8D1.pdf}
}