1. Computer Science, University of Hull, Hull, U.K.
2. Direct Line Group Ltd., Leeds, U.K.
3. Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany
4. Dependable Intelligent Systems Research Group, University of Hull, Hull, U.K.