"PSMECA Analysis of IoT-based Physical Security Systems." In Dependable IoT for Human and Industry: Modeling, Architecting, Implementation. Denmark: River Publishers, 2018.