Specification : Time switch