Embedded software development for safety-critical systems - Hobbs, Chris (CRC Press, 2020)