Correct System Design - Meyer; Platzer, André; Wehrheim, Heike (Springer International Publishing, 2015)