Bibtex de la publication

@Article{ Zh2014.2,
author = {Yang, Zhibin and Hu, Kai and Ma, Dianfu and Bodeveix, Jean-Paul and Pi, Lei and Talpin, Jean-Pierre},
title = "{From AADL to Timed Abstract State Machines: A Verified Model Transformation}",
journal = {Journal of Systems and Software},
publisher = {Elsevier},
address = {http://www.elsevier.com/},
year = {2014},
month = {juillet},
volume = {93},
pages = {42--68},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/12950/}
}