Jostein Engesmo Norwegian University of Science and Technology Department of Computer Science Norge Telephone 99119939
