Formal analysis of ubiquitous computing environments through the APEX framework - Silva, José Luís Cardoso (2012)