Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit. Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 308, IEEE Computer Society, 2000. [doi]
Abstract is missing.