Bibtex de la publication

@Article{ DrObPe2017.1,
author = {Dragomir, Iulia and Ober, Iulian and Percebois, Christian},
title = "{Contract-based modeling and verification of timed safety requirements within SysML}",
journal = {Software and Systems Modeling},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
year = {2017},
month = {mai},
volume = {16},
number = {2},
pages = {587--624},
language = {anglais},
URL = {http://link.springer.com/article/10.1007/s10270-015-0481-1 - http://oatao.univ-toulouse.fr/16863/}
}