A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification (International Journal of Computer and Electrical Engineering)