Functional safety for embedded systems - Xie, Guoqi, (CRC Press/Taylor & Francis Group,, 2023)