Correct System Design : Recent Insights and Advances - Ernst-Rüdiger Olderog, Bernhard Steffen ((Lecture Notes in Computer Science))