Discrete Event System Specification (DEVS) formalism is a Modeling and Simulation (M&S) framework that provides a means of specifying an object called a system. This work presents implementations of this formalism using ...