Embedded software verification and debugging - Lettnin, Djones; Winterholer, Markus (Springer, 2017)