"Tools and Algorithms for the Construction and Analysis of Systems, 9 conf., TACAS 2003" - читать интересную книгу автора (Hubert Garavel, John Hatcliff)