Temporal logics in computer science finite-state systems - Demri, Stéphane 1967-; Goranko, Valentin; Lange, Martin 1974- (Cambridge University Press, 2016)