SpecificationBundle:TestProcedure : added option for time definition