Model based estimation and verification of mobile device performance. - Gopalakrishna Raghavan; Ari Salomäki; Raimondas Lencevicius (EMSOFT, 2004)

Design Complexity Management in Embedded System Design. - Johan Ersfolk; Johan Lilius; Jari Muurinen; Ari Salomäki; Niklas Fors; Johnny Nylund (ACES-MB@MoDELS, 2009)