A Formal Modeling Approach for Emergency Crisis Response in Health during Catastrophic Situation. - Mohammed Ouzzif; Marouane Hamdani; Hassan Mountassir; Mohammed Erradi (ISCRAM-med, 2014)