Fig. 2From: A formal specification framework for smart grid componentsStatechart depicting a Wind turbine lifeBack to article page