This kind of thing used to be used extensively in railway signal boxes, where you want to enforce safety constraints like "signal 1 clear => points (switches) 2

This kind of thing used to be used extensively in railway signal boxes, where you want to enforce safety constraints like "signal 1 clear => points (switches) 20 set to straight ahead AND signal 2 at danger". The UK version of this is called "tappet interlocking".