Embedded Software Verification and Debugging - Lettnin, Djones (Springer New York, 2020)