Bibtex de la publication

@Article{ BeLePiRa2012.1,
author = {Bertrand, Nathalie and Legay, Axel and Pinchinat, Sophie and Raclet, Jean-Baptiste},
title = "{Modal event-clock specifications for timed component-based design}",
journal = {Science of Computer Programming},
publisher = {Elsevier},
address = {http://www.elsevier.com/},
year = {2012},
volume = {77},
pages = {1212--1234},
language = {anglais}
}