Yusupov, Jalolliddin. “Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures”. Acta of Turin Polytechnic University in Tashkent 15, no. 1 (July 14, 2025): 70–73. Accessed February 4, 2026. https://acta.polito.uz/index.php/journal/article/view/316.