Networked Systems - Abdulla, Parosh Aziz;Delporte-Gallet, Carole. (Springer International Publishing, 2016)