"Formal Methods: foundations and Applications, 12 conf., SBMF2009" - читать интересную книгу автора (Marcel Vinícius Medeiros Oliveira, Jim Woodcock)