Henkel, Jörg, and Nikil Dutt. Dependable embedded systems. Springer Nature, December, 2020
View details