Communication in Critical Embedded Systems - Kalinka Branco, Alex Pinto, Daniel Pigatto; Pigatto, Daniel; Pinto, Alex (Springer International Publishing, 2017)