Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti. Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. In Steven Furnell, Paolo Mori, Edgar R. Weippl, Olivier Camp, editors, Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020. pages 815-824, SCITEPRESS, 2020. [doi]