On some distribution functions for non-linear switching elements with finite dead time