"Tools and Algorithms for the Construction and Analysis of Systems, 15 conf., TACAS 2009" - читать интересную книгу автора (Stefan Kowalewski, Anna Philippou)