"Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710) " - читать интересную книгу автора (Bernhard Steffen, E.-R. Olderog)