Different ways of specification for temporal scenario