Fig. 3From: A formal specification framework for smart grid componentsStatechart for a solar energy systemBack to article page