“…The computer science literature has proposed two types of techniques for ensuring dependability (Lamport, Robert, & Marshall, 1982;Narasimhan et al, 2005;Kolbeck, Högqvist, Stender, & Hupfeld, 2011;Kavila et al, 2013;Verma, Guleria & Lakhanpal, 2014;Karimi et al, 2015;Mittal, & Vetter, 2016;Blanke, Kinnaert, Lunze, Staroswiecki, 2016):…”