Sérgio Vale Aguiar Campos Edmund M. Clarke Wilfredo R. Marrero Marius Minea Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems. 70-78 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems db/conf/lctrts/lctrts95.html#CamposCMM95