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