Fig. 2From: Towards automated engineering and validation of cyber-physical energy systemsMotivating exampleBack to article page