Bart Cools - Operational semantics for Parallel DEVS using model transformations in AToMPM