Model Checking of Real-Time Systems: A Telecommunications Application (1997)

by Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James E. Von Olnhausen
Venue:IN PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING