A LOTOS extension for the performance analysis of distributed systems | Publicación