The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems.

Constance L. Heitmeyer, Nancy A. Lynch

Browse the full RTSS paper archive.