Performance and correctness assessmet of distributed systems. (Vérification des performances et de la correction des systèmes distribués). - Cristian Rosa (2011)