"Formal Methods for Software Architectures, 3 school, SFM 2003" - читать интересную книгу автора (Marco Bernardo, Paola Inverardi)