Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. - Lalita Jategaonkar Jagadeesan; Carlos Puchol; James Von Olnhausen (CAV, 1995)

A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. - Mark A. Ardis; John A. Chaves; Lalita Jategaonkar Jagadeesan; Peter Mataga; Carlos Puchol; Mark G. Staskauskas; James Von Olnhausen (ICSE, 1995)

A formal approach to reactive systems software: a telecommunications application in ESTEREL. - Lalita Jategaonkar Jagadeesan; Carlos Puchol; James Von Olnhausen (WIFT, 1995)

Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). - Rajeev Alur; Lalita Jategaonkar Jagadeesan; Joseph J. Kott; James Von Olnhausen (ICSE, 1997)