SMT 2012_2_uno_eliasson.pdf