A graphical interval logic for specifying concurrent systems (1994)

by Laura K Dillon, G Kutty, P M Melliar-Smith, Louise E Moser, Y S
Venue:ACM Transactions on Software Engineering and Methodology