Computing accumulated delays in realtime system (0)

by R Alur, C Courcoubetis, T A Henzinger
Venue:In Proc. of the Fifth International Conference on Computer-Aided Verification, CAV’93, LNCS 697