Dependable Embedded Systems - Henkel (Springer International Publishing, 2021)