Temporal Logic and State Systems - Kröger, Fred; Merz, Stephan (Springer, 2008)