"Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers" - читать интересную книгу автора (Darren Cofer; Alessandro Fantechi )