Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke  Basic Observables for Probabilistic May Testing.   In:  Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).   IEEE Computer Society, pp. 189-200.  ISBN 0-7695-2883-X      (2007)