Using Keystroke-Level Model to analyze IOS optimization techniques | IEEE Conference Publication | IEEE Xplore