Graphical Scenarios for Specifying Temporal Properties: an Automated Approach