Temporal logic and state systems - Kröger, Fred 1945-; Merz, Stephan 1963- (Springer, 2008)