Fig. 6From: Formal model of earthquake disaster mitigation and management systemAnalysis of integrity propertiesBack to article page