3 works on record
Temporal logic and state systems
Einführung in die Informatik
Temporal Logic of Programs