Lalita Jategaonkar Jagadeesan Carlos Puchol James Von Olnhausen A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. 123-151 1996 8 Formal Methods in System Design 2 db/journals/fmsd/fmsd8.html#JagadeesanPO96