Yusupov, J. 2025. Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures. Acta of Turin Polytechnic University in Tashkent. 15, 1 (Jul. 2025), 70–73.