Lucia Acciai Michele Boreale Rocco De Nicola Linear-Time and May-Testing in a Probabilistic Reactive Setting. 29-43 2011 FMOODS/FORTE http://dx.doi.org/10.1007/978-3-642-21461-5_2 conf/forte/2011 db/conf/forte/forte2011.html#AcciaiBN11