José L. Risco-Martín, Saurabh Mittal, Kevin Henares, Román Cárdenas, Patricia Arroba. xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems. Software: Practice and Experience, 53(3):748-789, March 2023. [doi]
Abstract is missing.