The participants from the University of Glasgow are members of the Department of Computing Science. Members of the Embedded, Networked, and Distributed Systems (ENDS) group and the Formal Analysis, Theory, and Algorithms group (FATA) are contributing their expertise in system management and formal methods, respectively. Additionally, the University of Glasgow is acting as the lead institution for the project.
		The participants from the University of Kent at Canterbury are members of two departments: Computer Science and Electronics.
		The participants from the University of Manchester are members of two schools: Computer Science and Earth, Atmospheric Environmental Science.
		The participants from the University of St Andrews are members of the School of Computer Science.
		The participants from the University of Strathclyde are members of the Electronic and Electrical Engineering Department.