Fig. 4From: Formal model of earthquake disaster mitigation and management systemProof of correctnessBack to article page