LOTOS extended with probabilistic behaviours - Miguel C; Fernández A; Vidaller L (Formal Aspects Of Computing, 1993)