Bibtex de la publication

@Article{ RaNaBoFi2008.1,
author = {Rached, Miloud and Nasr, Odile and Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Une Extension Temporisée de la Méthode B pour la Spécification et la Vérification des Systèmes Temps-Réel}",
journal = {Journal Européen des Systèmes Automatisés, Approches formelles pour la spécification et la verification des systèmes embarqués temps-réel},
publisher = {Hermès Science },
address = {http://www.editions-hermes.fr/},
year = {2008},
month = {décembre},
volume = {42},
number = {9},
pages = {1061--1084},
language = {français}
}