A framework for verifying discrete event models within a DEVS-based system development methodology

Distributed simulation: creating distributed simulation using DEVS M&S environments

Proceedings of the 32nd conference on Winter simulation

A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development

Discrete Event Dynamic Systems

Application of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example

Simulation

DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems

Information and Software Technology

DEVS modeling of urban traffic systems (WIP)

Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium