Temporal Logic and State Systems - Kröger, Fred (Springer Berlin Heidelberg, 2020)