Verification with Real-Time COSPAN. - Costas Courcoubetis; David L. Dill; Magda Chatzaki; Panagiotis Tzounakis (CAV, 1992)