المنشورات ورقة مؤتمر An an approach for activity-based DEVS model specification مزيد من المنشورات Toward precise semantics of actions Parallelism semantics in modeling activities Domain specific metamodeling for deep semantic composability