Shams, Farshad and Cerone, Antonio and De Nicola, Rocco On Integrating Social and Sensor Networks for Emergency Management. In: Software Engineering and Formal Methods. SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Lecture Notes in Computer Science (9509). Springer, pp. 145-160. ISBN 978-3-662-49224-6 (2015)