EMF-DEVS modeling. - Hessam S. Sarjoughian; Abbas Mahmoodi Markid (SpringSim (TMS-DEVS), 2012)