2021_Book_DependableEmbeddedSystems.pdf (Springer Nature, 2020)