IEE Wiring Regulations: Design and Verification of Electrica