Gopalakrishna Raghavan Ari Salomaki Raimondas Lencevicius Model based estimation and verification of mobile device performance. 34-43 2004 conf/emsoft/2004 EMSOFT http://doi.acm.org/10.1145/1017753.1017764 db/conf/emsoft/emsoft2004.html#RaghavanSL04