Verus: a tool for quantitative analysis of finite-state real-time systems (1995)

by S V Campos, E M Clarke, W Marrero, M Minea
Venue:In Proc. Workshop on Languages, Compilers and Tools for Real-Time Systems