Temporal Logic and State Systems by Fred Kroger & Stefan Merz