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