Modal and Temporal Properties of Processes - Stirling, Colin (Texts in Computer Science, 2001)