Modal and temporal properties of processes Colin Stirling. - Stirling, Colin P. (Texts in Computer Science., 2001)