J. Yusupov, “Formally Verified IoT Architecture for Earthquake Detection and Automated Safety Measures”, ACTA TTPU, vol. 15, no. 1, pp. 70–73, Jul. 2025.