Di­gi­tal time switch­es