Temporal Logic and State Systems - Kröger, Fred; Brauer, Wilfried; Hromkovic, Juraj; Merz, Stephan; Rozenberg, Grzegorz (Springer Berlin Heidelberg, 2008)