Extending LOTOS towards performance evaluation - Miguel C; Fernandez A; Vidaller L (1993)