Bibtex de la publication

@Article{ Hu2015.2,
author = {Hu, Kai and Zhang, Teng and Yang, Zhibin and Tsai, Wei-Tek},
title = "{Exploring AADL verification tool through model transformation}",
journal = {Journal of Systems Architecture},
publisher = {Elsevier},
address = {http://www.elsevier.com/},
year = {2015},
month = {février},
volume = {61},
number = {3-4},
pages = {141--156},
language = {anglais},
URL = {http://www.sciencedirect.com/science/article/pii/S1383762115000144 - http://oatao.univ-toulouse.fr/15273/},
keywords = {AADL TASM transformation}
}