Behavior of atomic DEVS