1. Software and Societal Systems Department, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA
2. Software and Societal Systems Department, Carnegie Mellon University, Pittsburgh, PA, USA
3. Chalmers University of Technology, Gothenburg, Sweden
4. University of Málaga, Málaga, Spain