On Model Checking for Real Time Properties with Durations (1995)

by A Bouajjani, R Echahed, J Sifakis
Venue:In Proc. 8th IEEE Symp. Logic in Comp. Sci