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