Fig. 4From: Towards automated engineering and validation of cyber-physical energy systemsOverview of PSAL: (a) UML representation, (b) sample code (Pröstl Andrén et al. 2017)Back to article page