Fig. 5From: Formal model of earthquake disaster mitigation and management systemDynamic checkingBack to article page