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