Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).

Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen

Browse the full ICSE paper archive.