Added a new termination: TimeTermination.