El formalismo DEVS fue inventado por el Prof.