Aspect-Oriented Compositions for Dynamic Behavior Models