Temporal logics and their applications - Galton, Antony (Hrsg.) (Acad. Press, 1987)