A logic for signal inserted timed frames door J.A. Bergsma