Al-Khafaji, Ahmed Waleed, Vyacheslav Kharchenko, Dmytro Uzun, Oleg A. Illiashenko, and Oleksandr Solovyov. "PSMECA Analysis of IoT-based Physical Security Systems." In Dependable IoT for Human and Industry: Modeling, Architecting, Implementation. Denmark: River Publishers, 2018.