Yusupov, J. “Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures”. Acta of Turin Polytechnic University in Tashkent, vol. 15, no. 1, July 2025, pp. 70-73, https://acta.polito.uz/index.php/journal/article/view/316.