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 July 15, 2025. https://acta.polito.uz/index.php/journal/article/view/316.