"Tools and Algorithms for the Construction and Analysis of Systems, 8 conf., TACAS 2002" - читать интересную книгу автора (Joost-Pieter Katoen, Perdita Stevens)