Temporal logics in computer science : finite-state systems (Cambridge Press, 2016)