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