Myrto Arapinis, Muffy Calder, Louise Denis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin. Towards the Verification of Pervasive Systems. ECEASST, 22, 2009. [doi]
Abstract is missing.