An automated model based approach to mobile UI specification and development - Ribeiro, António Nestor (2016)