Software as hypothesis: research-based design methodology. - Teemu Leinonen; Tarmo Toikkanen; Katrina Silfvast (PDC, 2008)