Electronics System Design Techniques For Safety Critical Applications by Luca Sterpone