Basic Observables for Probabilistic May Testing. - Maria Carla Palmeri; Rocco De Nicola; Mieke Massink (QEST, 2007)