Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone. ESTEREL: a formal method applied to avionic software development. Science of Computer Programming, 36(1):5-25, 2000.
@article{BerryBFLNS00,
title = {ESTEREL: a formal method applied to avionic software development},
author = {Gérard Berry and Amar Bouali and Xavier Fornari and Emmanuel Ledinot and Eric Nassor and Robert de Simone},
year = {2000},
researchr = {https://researchr.org/publication/BerryBFLNS00},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {36},
number = {1},
pages = {5-25},
}