publication Conference Paper An an approach for activity-based DEVS model specification more of publication Toward precise semantics of actions Parallelism semantics in modeling activities Domain specific metamodeling for deep semantic composability