A symbolic analysis of relay and switching circuits | Synapse