Electronics System Design Techniques for Safety Critical Applications - Sterpone, Luca (Springer Netherlands, 2020)