Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism | ScienceToStartup | ScienceToStartup