Bibtex de la publication

@Article{ BoFi2011.2,
author = {Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Event B Development of a Synchronous AADL Scheduler}",
journal = {Electronic Notes in Theoretical Computer Science, Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM 2011)},
publisher = {Elsevier},
address = {http://www.elsevier.com/},
year = {2011},
month = {d├ęcembre},
volume = {280},
pages = {23--33},
language = {anglais},
URL = {http://www.sciencedirect.com/science/article/pii/S1571066111001642},
keywords = {refinement, scheduling, architecture description languages}
}