Fig. 3From: Formal model of earthquake disaster mitigation and management systemHigh level pseudo code of the algorithmBack to article page