"Tools and Algorithms for the Construction and Analysis of Systems, 14 conf., TACAS 2008" - читать интересную книгу автора (C.R. Ramakrishnan, Jakob Rehof)