Probabilistic process algebra - Andova, Suzana (Technische Universiteit Eindhoven, 2002)