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