"Fundamental Approaches to Software Engineering" - читать интересную книгу автора (Michel Wermelinger, Tiziana Margaria-Steffen)