A screen-oriented representation for mobile applicationsAharon AbadiYishai A. Feldmanet al.2013SPLASH 2013