Statistical model checking of relief supply location and distribution in natural disaster management - Sohaiba Iqbal ((Islamabad) NUST-SEECS)