Networked Systems - Bouajjani; Fauconnier, Hugues (Springer International Publishing, 2015)