[ WebToolTip.com ] Modal and Temporal Properties of Processes