Sarmad Sadik Alade Rahman Arshad Ali Hafiz Farooq Ahmad Hiroki Suguri A Formal Approach for Design of Agent Based Earthquake Management System (EMS). 99-104 2008 SNPD http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.65 conf/snpd/2008 db/conf/snpd/snpd2008.html#SadikRAAS08