PSMECA Analysis of IoT-based Physical Security Systems Publication Type: Book Chapter Authors: Ahmed Waleed Al-Khafaji; Vyacheslav Kharchenko; Dmytro Uzun; Oleg A. Illiashenko; Oleksandr Solovyov Source: Dependable IoT for Human and Industry: Modeling, Architecting, Implementation, River Publishers, Denmark (2018)