Shah Rukh Humayoun, Ragaad AlTarawneh, Yael Dubinsky. Formalizing User Interaction Requirements of Mobile Applications. In Daniel Fitton, Matthew Horton, Janet C. Read, Gavin Sim, editors, BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, Southport, UK, 9-12 September 2014. British Computer Society, 2014. [doi]