"Lectures on Formal Methods and Performance Analysis, 1 school, 2000" - читать интересную книгу автора (Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen)