A LOTOS Extension for the Performance Analysis of Distributed Systems