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)