Real-time distributed system speci cation and veri cation in APTL (1992)

by F Wang, A K Mok, E A Emerson
Venue:In Proc. 12th Int. Conf. Software Engineering