1. Department of Computer Science, Norwegian University of Science and Technology, 2815 Gjøvik, Norway
2. Geno SA, Storhamargata 44, 2317 Hamar, Norway
3. Norsvin SA, Storhamargata 44, 2317 Hamar, Norway
4. TYR SA, Storhamargata 44, 2317 Hamar, Norway