Smart Grid Formal Model

During the Formal Methods For Concurrent Real Time Systems class I wrote a modular specification of an home smart grid including a controller, different kinds of appliance and all the other parts within the house. The specification also describes the communication with the owner and goals (deadlines, saving wishes,) for the controller that may depend on the client contract.