Reactive systems : modelling, specification and verification - Anna Ingólfsdóttir, 1952-; Larsen, Kim G., 1957-; Srba, Jiří (Cambridge University, 2007)