In critical systems like traffic light and elevators the key is to have a simple system so you don't need to test the crap out of it. Using something like a finite state machine.

Part of making fewer mistakes is going for simplicity over complexity.