Yusupov, J. Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures. ACTA TTPU 2025, 15, 70-73.