Networked Systems - Parosh Aziz Abdulla, Carole Delporte-Gallet (Springer, 2016)