DEVS formalism and methodology · Study