Fig. 4From: A formal specification framework for smart grid componentsStatechart for a storage systemBack to article page