Statistical model checking of relief supply location and distribution in natural disaster management · Study