Maria Carla Palmeri Rocco De Nicola Mieke Massink Basic Observables for Probabilistic May Testing. 189-200 2007 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2007.10 conf/qest/2007 db/conf/qest/qest2007.html#PalmeriNM07