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