A User-Friendly Interface to Specify Temporal Properties of Concurrent Systems