Arapinis, M., Calder, M., Dennis, L., Fisher, M., Gray, P., Konur, S., … Yasmin, R. (2010). Towards the Verification of Pervasive Systems. Electronic Communications of the EASST, 22. https://doi.org/10.14279/tuj.eceasst.22.315