Behavioral DEVS metamodeling
A framework for executable UML models