ESTEREL: a formal method applied to avionic software development

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.

Abstract

Abstract is missing.