Bibtex de la publication

@Article{ HoObKuVoYu2008.1,
author = {Hooman, Josef and Ober, Iulian and Kugler, Hillel and Votintseva, Angelika and Yushtein, Yuri},
title = "{Supporting UML-based Development of Embedded Systems by Formal Techniques}",
journal = {Software and Systems Modeling},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
year = {2008},
month = {mai},
volume = {7},
number = {2},
pages = {131--155},
language = {anglais},
URL = {http://dx.doi.org/10.1007/s10270-006-0043-7},
note = {(version papier à parraître)}
}