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