1. School of Computing; University of Eastern Finland; P.O. Box 1627 Kuopio FI-70211 Finland
2. Lero - the Irish Software Engineering Research Centre, Centres Science and Engineering, Faculty of Science and Engineering; University of Limerick; Limerick Ireland