Title: Modal Logic and Process Algebra, Author: Alban Ponse
Title: Modal and Temporal Properties of Processes / Edition 1, Author: Colin Stirling