Onmodel checking for real-time properties with durations (1993)

by A BOUAJJANI, R ECHAHED, J SIFAKIS
Venue:In Proceedings of the Annual IEEE Symposium on Logic in Computer Science (LICS’93). IEEE Computer Society, Los Alamitos, CA