Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma. Verifying synchronous reactive systems programmed in ESTEREL. Jonsson, Bengt, Parrow, Joachim.
Formal Techniques in Real-Time and Fault-Tolerant Systems. 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings, Springer Verlag, Volume 1135, p. 463-466, ISBN 978-3-540-61648-1, 1996, Lecture Notes in Computer Science,
⟨10.1007/3-540-61648-9_57⟩.
⟨hal-00504846⟩