Embedded Software Verification and Debugging - Lettnin, Djones; Winterholer, Markus (Springer New York : Imprint: Springer, 2017)