@PHDTHESIS{mzali1987,
url = "http://www.theses.fr/1987NICE4165",
title = "Une méthodologie pour le développement de logiciels temps-réel",
author = "M'zali, Najat",
year = "1987",
pages = "1 vol. (141 p.)",
note = "Thèse de doctorat dirigée par Koenig, Michel Informatique Nice 1987",
note = "1987NICE4165",
}