Reformulated timing constraints to be allowed times instead of disallowed