PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism. - View it on GitHub