Davide Cerotti Susanna Donatelli András Horváth Jeremy Sproston CSL Model Checking for Generalized Stochastic Petri Nets. 199-210 2006 conf/qest/2006 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2006.13 db/conf/qest/qest2006.html#CerottiDHS06