Dependable embedded systems - Henkel, Jörg; Dutt, Nikil (Springer, 2021)