Dependable Embedded Systems - Dutt, Nikil (Herausgeber); Henkel, Jörg (Verfasser) (Embedded Systems, 2020)