Fig. 1From: A formal specification framework for smart grid componentsStatechart depicting the life of an applianceBack to article page