A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems