"Formal Methods for Performance Evaluation, 7 school, SFM 2007" - читать интересную книгу автора (Marco Bernardo, Jane Hillston)