The primary supervisor for this thesis was Jerry Eriksson, Ph. D.
and the formal examinator was Per Lindström. Both are working at the
Department of Computing Science at Umeå University. To contact either
of these supervisors table tbl:contactsupervisors should provide
sufficient information.
