"Formal Methods: Foundations and Applications - SBMF 2011 " - читать интересную книгу автора (Adenilso Simao, Carroll Morgan)