Davide Cerotti Davide D'Aprile Susanna Donatelli Jeremy Sproston Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. 143-152 2006 conf/acsd/2006 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.36 db/conf/acsd/acsd2006.html#CerottiDDS06