Verifying relay circuits using state machines by P.H.J. van Eijck