"Reactive systems: modelling, specification and verification " - читать интересную книгу автора (Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba)