1. Fondazione Bruno Kessler,MoDiS Research Unit,Trento,Italy
2. University of Salamanca,GRIAL Research Group,Salamanca,Spain
3. Fondazione Bruno Kessler,i3 Research Unit,Trento,Italy
4. University of Pisa,Department of Computer Science,Pisa,Italy
5. McMaster University, McMaster Centre for Software Certification,Hamilton,Canada
6. Università degli Studi dell'Aquila,DISIM,L'Aquila,Italy
7. King's College London,Department of Informatics,London,UK