Computing Quantitative Characteristics of Finite-State Real Time Systems (1994)

by S Campos, E Clarke, W Marrero, H Haraishi
Venue:In Proc. IEEE Real-time systems symposium