Text this: Modal and Temporal Properties of Processes /