Karolina Zurowska, Jürgen Dingel. A Customizable Execution Engine for Models of Embedded Systems. In Ella E. Roubtsova, Ashley T. McNeile, Ekkart Kindler, Christian Gerth, editors, Behavior Modeling - Foundations and Applications, International Workshops, BM-FA 2009-2014, Revised Selected Papers. Volume 6368 of Lecture Notes in Computer Science, pages 82-110, Springer, 2014. [doi]
Abstract is missing.