Refining Interval Temporal Logic specifications (1997)

by A Cau, H Zedan
Venue:In Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS ’97), volume 1231 of LNCS