"Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)" - читать интересную книгу автора (Ernst-Rudiger Olderog, Bernhard Steffen)