Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco Maria; Mongiello, Marina; Nocera, Francesco: 'Formal model for user-centred adaptive mobile devices', IET Software, 2017, 11, (4), p. 156-164, DOI: 10.1049/iet-sen.2016.0169 IET Digital Library, https://digital-library.theiet.org/;jsessionid=38nlmbetthqko.x-iet-live-01content/journals/10.1049/iet-sen.2016.0169