Arapinis, Myrto, Muffy Calder, Louise Dennis, Michael Fisher, Philip Gray, Savas Konur, Alice Miller, et al. “Towards the Verification of Pervasive Systems”. Electronic Communications of the EASST 22 (January 4, 2010). Accessed October 18, 2024. https://eceasst.org/index.php/eceasst/article/view/1610.