Investigation of a novel formal model for mobile user interface design. - Ragab Basher Ihnissi (2017)