"Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings" - читать интересную книгу автора (S Kowalewski; Marco Roveri )