المنشورات ورقة مؤتمر Behavioral DEVS metamodeling مزيد من المنشورات Toward precise semantics of actions Parallelism semantics in modeling activities Domain specific metamodeling for deep semantic composability