Computing quantitative characteristics of finite-state real-time systems (1994)

by S V Campos, E Clarke, W Marrero, M Minea, H Hiraishi
Venue:In Real-Time Systems Symposium