Rajeev Alur Lalita Jategaonkar Jagadeesan Joseph J. Kott James Von Olnhausen Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). 514-524 1997 ICSE http://doi.acm.org/10.1145/253228.253434 db/conf/icse/icse97.html#AlurJKO97