Modal and temporal properties of processes - Stirling, Colin (Texts in computer science, 2001)