The Discrete EVent system Specification (DEVS) formalism is a modular discrete-event modeling formalism. It has a formal specification in terms of systems theory and is supported by several efficient ...