1. Dept. of Mathematics and Cybernetics, SINTEF Digital, Oslo, Norway
2. Dept. of Computing, Mathematics, and Physics, HVL, Bergen, Norway
3. Dept. of Computer Science, NTNU, Trondheim, Norway
4. Dept. of Computer Science, University of Illinois, Chicago, IL, United States