“…It comprises various techniques for synthesis-supported development (Lamprecht, Naujokat, Margaria, & Steffen, 2010), verification (Bakera, Margaria, Renner, & Steffen, 2009;Steffen, Margaria, Claßen, & Braun, 1996), debugging (Niese et al, 2001;Raffelt, Merten, Steffen, & Margaria, 2009), execution, and, most importantly, for systematic system evolution (Jörges, Lamprecht, Margaria, Schaefer, & Steffen, 2012;Margaria, Steffen, & Kubczak, 2010). Figure 3 provides an overview of the jABC user interface.…”