1. Free University of Bozen-Bolzano, Faculty of Computer Science, Bolzano, Italy
2. Dept of Computer and Information Science, Norwegian University of Science and Technology, Trondheim, Norway
3. SINTEF Energy Research, Dept of Software Eng., Safety and Security, Trondheim, Norway