Embedded Software Verification and Debugging - Lettnin, Djones; Winterholer, Markus (Springer Nature, 2017)