Formal verification and validation of DEVS simulation models - Soremekun Ezekiel Olamide; Mamadou Kaba Traoré (AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013)