publication Conference Paper Behavioral DEVS metamodeling more of publication Toward precise semantics of actions Parallelism semantics in modeling activities Domain specific metamodeling for deep semantic composability