% Encoding: UTF-8

@Article{Alur1994a,
  author =   {Alur, R. and Dill, D. L.},
  title =    {{A theory of timed automata}},
  journal =  {Theoretical Computer Science},
  year =     {1994},
  volume =   {126},
  number =   {2},
  pages =    {183--235},
  abstract = {We propose timed (finite) automata to model the behavior of real-time systems over time. Our definition provides a simple, and yet powerful, way to annotate state-transition graphs with timing constraints using finitely many real-valued clocks. A timed automaton accepts timed words–infinite sequences in which a real-valued time of occurrence is associated with each symbol. We study timed automata from the perspective of formal language theory: we consider closure properties, decision problems, and subclasses. We consider both nondeterministic and deterministic transition structures, and both B{\"{u}}chi and Muller acceptance conditions. We show that nondeterministic timed automata are closed under union and intersection, but not under complementation, whereas deterministic timed Muller automata are closed under all Boolean operations. The main construction of the paper is an (PSPACE) algorithm for checking the emptiness of the language of a (nondeterministic) timed automaton. We also prove that the universality problem and the language inclusion problem are solvable only for the deterministic automata: both problems are undecidable ($\Pi$11-hard) in the nondeterministic case and PSPACE-complete in the deterministic case. Finally, we discuss the application of this theory to automatic verification of real-time requirements of finite-state systems.},
  doi =      {http://dx.doi.org/10.1016/0304-3975(94)90010-8},
  file =     {:C$\backslash$:/Users/clagms/Documents/Mendeley/Alur, Dill/Theoretical Computer Science/Alur, Dill - 1994 - A theory of timed automata.pdf:pdf},
  issn =     {0304-3975},
  url =      {http://www.sciencedirect.com/science/article/pii/0304397594900108}
}

@InProceedings{VanMierlo_SCCD,
  author =    {Van Mierlo, Simon and Van Tendeloo, Yentl and Meyers, Bart and Exelmans, Joeri and Vangheluwe, Hans},
  title =     {{SCCD}: {SCXML} Extended with Class Diagrams},
  booktitle = {3rd Workshop on Engineering Interactive Systems with SCXML, part of EICS 2016},
  year =      {2016},
  file =      {:publications\\2016_VanMierlo_SCCD.pdf:PDF}
}

@InProceedings{AToMPM,
  author =    {Eugene Syriani and Hans Vangheluwe and Raphael Mannadiar and Conner Hansen and Simon {Van Mierlo} and H{\"u}seyin Ergin},
  title =     {{AToMPM}: A Web-based Modeling Environment},
  booktitle = {Joint Proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)},
  year =      {2013},
  volume =    {1115},
  pages =     {21--25},
  month =     sep,
  publisher = {{CEUR}}
}

@InBook{Bandener_DSLDebugging,
  chapter =   {Extending DMM Behavior Specifications for Visual Execution and Debugging},
  pages =     {357--376},
  title =     {Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers},
  publisher = {Springer Berlin Heidelberg},
  year =      {2011},
  author =    {Bandener, Nils and Soltenborn, Christian and Engels, Gregor},
  editor =    {Malloy, Brian and Staab, Steffen and Brand, Mark},
  address =   {Berlin, Heidelberg},
  doi =       {10.1007/978-3-642-19440-5_24},
  isbn =      {978-3-642-19440-5}
}

@InProceedings{Barros_DSDEAbstractSimulator,
  author =    {Barros, Fernando J.},
  title =     {Abstract Simulators for the DSDE Formalism},
  booktitle = {Proceedings of the 30th Winter Simulation Conference},
  year =      {1998},
  series =    {WSC '98},
  pages =     {407--412},
  address =   {Los Alamitos, CA, USA},
  publisher = {IEEE Computer Society Press},
  acmid =     {293257},
  isbn =      {0-7803-5134-7},
  location =  {Washington, D.C., USA},
  numpages =  {6}
}

@InProceedings{Barros_DSDEVS,
  author =    {Barros, Fernando J.},
  title =     {Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation},
  booktitle = {Proceedings of the 27th Winter Simulation Conference},
  year =      {1995},
  pages =     {781--785},
  month =     dec,
  doi =       {10.1109/WSC.1995.478858},
  keywords =  {discrete event simulation;formal specification;programming environments;DELTA simulation environment;DSDEVS formalism;dynamic structure discrete event system specification;dynamic structure modeling;dynamic structure simulation;model descriptive variables;model structure;simulation formalism;structural simulation;Adaptive systems;Computational modeling;Computer architecture;Discrete event simulation;Discrete event systems;Fault tolerant systems}
}

@Article{Barros_DSDEVS_NotFound,
  author =     {Barros, Fernando J.},
  title =      {The Dynamic Structure Discrete Event System Specification Formalism},
  journal =    {Transactions of the Society for Computer Simulation International},
  year =       {1996},
  volume =     {13},
  number =     {1},
  pages =      {35--46},
  month =      mar,
  acmid =      {231107},
  address =    {San Diego, CA, USA},
  issn =       {0740-6797},
  issue_date = {March 1996},
  keywords =   {DSDEVS formalism, adaptive systems, dynamic structure models},
  numpages =   {12},
  publisher =  {Society for Computer Simulation International}
}

@Article{Barros_DSFormalisms,
  author =     {Barros, Fernando J.},
  title =      {Modeling Formalisms for Dynamic Structure Systems},
  journal =    {ACM Transactions on Modeling and Computer Simulation (TOMACS)},
  year =       {1997},
  volume =     {7},
  number =     {4},
  pages =      {501--515},
  month =      oct,
  acmid =      {268423},
  address =    {New York, NY, USA},
  doi =        {10.1145/268403.268423},
  issn =       {1049-3301},
  issue_date = {Oct. 1997},
  keywords =   {dynamic structure systems specifications, parallel modeling formalisms},
  numpages =   {15},
  publisher =  {ACM}
}

@Article{Barros_HierarchicalTestingofDSModels,
  author =     {Barros, Fernando J.},
  title =      {Hierarchical Testing of Dynamic Structure Models: A Practical Approach},
  journal =    {Trans. Soc. Comput. Simul. Int.},
  year =       {1998},
  volume =     {15},
  number =     {4},
  pages =      {181--189},
  month =      dec,
  acmid =      {306751},
  address =    {San Diego, CA, USA},
  issn =       {0740-6797},
  issue_date = {Dec. 1998},
  keywords =   {DEVS formalism, DSDE formalism, dynamic structure models, model testing},
  numpages =   {9},
  publisher =  {Society for Computer Simulation International}
}

@InProceedings{Blochwitz2012,
  author =    {Blockwitz, Torsten and Otter, Martin and Akesson, Johan and Arnold, Martin and Clauss, Christoph and Elmqvist, Hilding and Friedrich, Markus and Junghanns, Andreas and Mauss, Jakob and Neumerkel, Dietmar and Olsson, Hans and Viel, Antoine},
  title =     {{Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models}},
  booktitle = {9th International MODELICA Conference},
  year =      {2012},
  pages =     {173--184},
  address =   {Munich, Germany},
  month =     {nov},
  publisher = {Link{\"{o}}ping University Electronic Press; Link{\"{o}}pings universitet},
  abstract =  {The Functional Mockup Interface (FMI) is a tool independent standard for the exchange of dynamic models and for co simulation. The first version, FMI 1.0, was published in 2010. Already more than 30 tools support FMI 1.0. In this paper an overview about the recently published version 2.0 of FMI is given that combines the formerly separated interfaces for Model Exchange and Co-Simulation in one standard. Based on the experience on using FMI 1.0, many small details have been improved and new features ease the usability and increase the performance especially for larger models. Additionally, a free FMI compliance checker will become soon available and FMI models from different tools are made available on the web to simplify testing.},
  doi =       {10.3384/ecp12076173},
  file =      {:C$\backslash$:/Users/clagms/Documents/Mendeley/Blockwitz et al/9th International MODELICA Conference/Blockwitz et al. - 2012 - Functional Mockup Interface 2.0 The Standard for Tool independent Exchange of Simulation Models.pdf:pdf;:C$\backslash$:/Users/clagms/Documents/Mendeley/Blockwitz et al/9th International MODELICA Conference/Blockwitz et al. - 2012 - Functional Mockup Interface 2.0 The Standard for Tool independent Exchange of Simulation Models(2).pdf:pdf}
}

@InProceedings{Boulanger2008,
  author =    {Boulanger, F. and Hardebolle, C.},
  title =     {{Simulation of Multi-Formalism Models with ModHel'X}},
  booktitle = {Software Testing, Verification, and Validation, 2008 1st International Conference on},
  year =      {2008},
  pages =     {318--327},
  abstract =  {A step in the validation of a system is to check its behavior by simulation. Simulation is also used to validate the behavior of the model of the system against test patterns. For complex systems, models are made of parts which use different modeling formalisms. The main issues in the simulation of such systems are the specification of the semantics of each modeling formalism, and of the interactions between heterogeneous parts of a model. ModHel'X relies on component based modeling and models of computation to address these problems and focuses on the computation of one possible behavior of a model. This includes simulation and code generation. ModHel'X defines a MOF meta-model for describing the structural elements of a modeling language. The semantics of modeling languages is expressed in an imperative style and addresses three aspects: control, data and time. ModHel'X is supported by a simulator of multi-formalism models.},
  doi =       {10.1109/ICST.2008.15},
  file =      {:C$\backslash$:/Users/clagms/Documents/Mendeley/Boulanger, Hardebolle/Software Testing, Verification, and Validation, 2008 1st International Conference on/Boulanger, Hardebolle - 2008 - Simulation of Multi-Formalism Models with ModHel'X.pdf:pdf},
  isbn =      {VO -},
  keywords =  {Automata,Automatic control,Computational modeling,Context modeling,Differential equations,Engines,Heterogeneous modeling,Mathematical model,ModHel'X system,Model of computation,Power system modeling,Simulation,Software testing,System testing,formal specification,meta-model,modeling language,multiformalism model,simulation languages}
}

@InProceedings{Boulanger2011,
  author =    {Boulanger, Fr{\'{e}}d{\'{e}}ric and Hardebolle, C{\'{e}}cile and Jacquet, Christophe and Marcadet, Dominique},
  title =     {{Semantic Adaptation for Models of Computation}},
  booktitle = {11th International Conference on Application of Concurrency to System Design (ACSD)},
  year =      {2011},
  pages =     {153--162},
  abstract =  {In the context of Model Driven Engineering, models are the primary artifacts of the system development cycle. In order to manage the complexity of systems, models are decomposed into models of simpler subsystems. A major difficulty is to handle the heterogeneity of the different models of computation used for modeling the subsystems. Through the example of a power window system, this article presents an approach to the specification of the semantic adaptation of data, time and control between models of computation. The approach is supported by ModHel'X, a heterogeneous modeling and simulation environment. The example is simple enough to be completely described in the article, but rich enough to illustrate the matters of (a) defining models of computation, and (b) specifying the semantic adaptation between models of computation.},
  doi =       {10.1109/ACSD.2011.17},
  file =      {:C$\backslash$:/Users/clagms/Documents/Mendeley/Boulanger et al/Application of Concurrency to System Design (ACSD), 2011 11th International Conference on/Boulanger et al. - 2011 - Semantic Adaptation for Models of Computation.pdf:pdf},
  isbn =      {1550-4808 VO -},
  keywords =  {Adaptation models,Clocks,Computational modeling,Data models,ModHel'X,Pins,Semantics,Unified modeling language,formal specification,heterogeneous modeling,model driven engineering,model of computation,model semantics,models of computation,power window system,semantic adaptation specification,simulation environment,system development cycle}
}

@InProceedings{Bousse_DSMLDebugging,
  author =    {Bousse, Erwan and Corley, Jonathan and Combemale, Benoit and Gray, Jeff and Baudry, Benoit},
  title =     {Supporting Efficient and Advanced Omniscient Debugging for xDSMLs},
  booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering},
  year =      {2015},
  series =    {SLE 2015},
  pages =     {137--148},
  address =   {New York, NY, USA},
  publisher = {ACM},
  acmid =     {2814262},
  doi =       {10.1145/2814251.2814262},
  isbn =      {978-1-4503-3686-4},
  keywords =  {Execution Trace, Omniscient Debugger, xDSML},
  location =  {Pittsburgh, PA, USA},
  numpages =  {12}
}

@InProceedings{Breslav_OccupantBehaviour,
  author =    {Breslav, Simon and Goldstein, Rhys and Tessier, Alex and Khan, Azam},
  title =     {Towards Visualization of Simulated Occupants and Their Interactions with Buildings at Multiple Time Scales},
  booktitle = {Proceedings of the Symposium on Simulation for Architecture \& Urban Design},
  year =      {2014},
  series =    {SimAUD '14},
  pages =     {5:1--5:8},
  address =   {San Diego, CA, USA},
  publisher = {Society for Computer Simulation International},
  acmid =     {2664328},
  articleno = {5},
  keywords =  {design tools, occupant behavior, perception, stylized computer animation, sustainable design},
  location =  {Tampa, Florida},
  numpages =  {8}
}

@Article{Broenink1999,
  author =   {Broenink, Jan F},
  title =    {20-sim software for hierarchical bond-graph/block-diagram models},
  journal =  {Simulation Practice and Theory},
  year =     {1999},
  volume =   {7},
  number =   {5–6},
  pages =    {481--492},
  month =    {dec},
  abstract = {We discuss the modeling and simulation package 20-sim, a tool for modeling and simulation of dynamic behavior of engineering systems. Engineering systems as application domain means that we focus on systems that span multiple physical domains and the information domain. The 20-sim software is an interactive tool, where model entry and model processing are fully integrated. This means that already during model entry and editing, models can be checked on their consistency. 20-sim has its own simulator, using sophisticated numerical integration methods, taken from. internationally accepted numerical libraries. The use of 20-sim is demonstrated by an example, in which a 3-dof scara robot with controller is modeled and simulated.},
  doi =      {http://dx.doi.org/10.1016/S0928-4869(99)00018-X},
  file =     {:C$\backslash$:/Users/clagms/Documents/Mendeley/Broenink/Simulation Practice and Theory/Broenink - 1999 - 20-sim software for hierarchical bond-graphblock-diagram models.pdf:pdf},
  issn =     {0928-4869},
  keywords = {Bond graphs,Object oriented,Software},
  url =      {http://www.sciencedirect.com/science/article/pii/S092848699900018X}
}

@InProceedings{BuchananMobius,
  author =    {Craig Buchanan and Ken Keefe},
  title =     {Simulation Debugging and Visualization in the M\"obius Modeling Framework},
  booktitle = {Proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST)},
  year =      {2014},
  pages =     {226--240},
  month =     {September},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@InProceedings{CBDDebugging,
  author =    {Hans Vangheluwe and Daniel Riegelhaupt and Sadaf Mustafiz and Joachim Denil and Simon {Van Mierlo}},
  title =     {Explicit Modelling of a {CBD} Experimentation Environment},
  booktitle = {Proceedings of the Symposium on Theory of Modeling \& Simulation - DEVS Integrative},
  year =      {2014},
  series =    {TMS/DEVS '14},
  pages =     {379--386},
  publisher = {SCS},
  keywords =  {Debugging, Simulation, Experimentation Environment, Causal Block Diagrams},
  location =  {Tampa, Florida}
}

@Book{Cellier_CBDs,
  title =       {Continuous system modeling},
  publisher =   {Springer-Verlag},
  year =        {1991},
  author =      {Cellier, Fran\c{c}ois E.},
  address =     {New York},
  added-at =    {2011-12-09T13:05:05.000+0100},
  description = {Continuous System Modeling},
  interhash =   {9c05584a32b1dd1b1a5d6794855c0a9f},
  intrahash =   {1f3981552db08691e903e9834e0e5a29},
  isbn =        {0387975020 9780387975023 3540975020 9783540975021},
  keywords =    {systemstheory bio-model},
  owner =       {Simon},
  refid =       {22862240},
  timestamp =   {2011-12-09T13:05:05.000+0100}
}

@Article{Cetinkaya_ModelContinuity,
  author =     {\c{C}etinkaya, Deniz and Verbraeck, Alexander and Seck, Mamadou D.},
  title =      {Model Continuity in Discrete Event Simulation: A Framework for Model-Driven Development of Simulation Models},
  journal =    {ACM Transactions on Modeling and Computer Simulation},
  year =       {2015},
  volume =     {25},
  number =     {3},
  pages =      {17:1--17:24},
  month =      apr,
  acmid =      {2699714},
  address =    {New York, NY, USA},
  articleno =  {17},
  doi =        {10.1145/2699714},
  issn =       {1049-3301},
  issue_date = {May 2015},
  keywords =   {Conceptual modeling, discrete event simulation, metamodeling, model transformation, model-driven development},
  numpages =   {24},
  publisher =  {ACM}
}

@Article{Chis_MoldableDebugger,
  author =     {Chi\c{s}, Andrei and Denker, Marcus and G\^{\i}rba, Tudor and Nierstrasz, Oscar},
  title =      {Practical Domain-specific Debuggers Using the Moldable Debugger Framework},
  journal =    {Computer Languages, Systems \& Structures},
  year =       {2015},
  volume =     {44},
  number =     {PA},
  pages =      {89--113},
  month =      dec,
  acmid =      {2838249},
  address =    {Amsterdam, The Netherlands, The Netherlands},
  doi =        {10.1016/j.cl.2015.08.005},
  issn =       {1477-8424},
  issue_date = {December 2015},
  keywords =   {Customization, Debugging, Domain-specific tools, Programming environments, Smalltalk, User interfaces},
  numpages =   {25},
  publisher =  {Elsevier Science Publishers B. V.}
}

@InProceedings{Chow_PDEVS,
  author =    {Chow, Alex Chung Hen and Zeigler, Bernard P.},
  title =     {{Parallel DEVS}: a parallel, hierarchical, modular, modeling formalism},
  booktitle = {Proceedings of the 26th Winter Simulation Conference},
  year =      {1994},
  pages =     {716--722}
}

@Article{Corley_MTDebugging,
  author =   {Corley, Jonathan and Eddy, Brian P. and Syriani, Eugene and Gray, Jeff},
  title =    {Efficient and scalable omniscient debugging for model transformations},
  journal =  {Software Quality Journal},
  year =     {2016},
  pages =    {1--42},
  abstract = {This paper discusses a technique for supporting omniscient debugging for model transformations, which are used to define core operations on software and system models. Similar to software systems developed using general-purpose languages, model transformations are also subject to human error and may possess defects. Existing model-driven engineering tools provide stepwise execution to aid developers in locating and removing defects. In this paper, we describe our investigation into a technique and associated algorithms that support omniscient debugging features for model transformations. Omniscient debugging enables enhanced navigation and exploration features during a debugging session beyond those possible in a strictly stepwise execution environment. Finally, the execution time performance is comparatively evaluated against stepwise execution, and the scalability (in terms of memory usage) is empirically investigated.},
  doi =      {10.1007/s11219-015-9304-4},
  issn =     {1573-1367}
}

@Book{Corley2016,
  title =     {{Modern Software Engineering Methodologies for Mobile and Cloud Environments}},
  publisher = {IGI Global},
  year =      {2016},
  author =    {Corley, Jonathan and Syriani, Eugene and Ergin, Huseyin and {Van Mierlo}, Simon},
  editor =    {{Rosado da Cruz}, Ant{\'{o}}nio Miguel and Paiva, Sara},
  month =     {jan},
  doi =       {10.4018/978-1-4666-9916-8},
  isbn =      {9781466699168},
  language =  {English},
  pages =     {120--139},
  url =       {http://www.igi-global.com/chapter/cloud-based-multi-view-modeling-environments/144468}
}

@Article{Debugging_ParallelDEVS,
  author =   {Van Mierlo, Simon and Van Tendeloo, Yentl and Vangheluwe, Hans},
  title =    {Debugging {Parallel DEVS}},
  journal =  {SIMULATION},
  year =     {2016},
  abstract = {To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time, formalism semantics, and user input have not been thoroughly investigated. This paper presents a visual modeling, simulation, and debugging environment for Parallel DEVS, which builds on a theoretical foundation for debugging DEVS models. We take inspiration from both code debugging and the simulation world to model our environment; we transpose a set of useful code debugging concepts onto Parallel DEVS, and combine those with simulation-specific operations, such as as-fast-as-possible simulation and (scaled) real-time execution. Apart from these common debugging operations, we introduce new features to the debugging of Parallel DEVS models, such as “god events,” which can alter the model state during simulation, and reversible debugging, which allows one to go back in time. To achieve this, the PythonPDEVS simulator is deconstructed and reconstructed: the modal part of the simulator–debugger, as well as the debugging operations, are modeled using the Statecharts formalism. These models are combined, resulting in a model of the timed, reactive behavior of a debuggable simulator for Parallel DEVS. The code for the simulator is automatically synthesized from this model. To improve usability, we combine the simulator with a visual modeling environment, allowing for visual and interactive live debugging.},
  doi =      {10.1177/0037549716658360},
  eprint =   {http://sim.sagepub.com/content/early/2016/07/29/0037549716658360.full.pdf+html},
  url =      {http://sim.sagepub.com/content/early/2016/07/29/0037549716658360.abstract}
}

@PhdThesis{Denil2013,
  author = {Denil, Joachim},
  title =  {{Design, Verification and Deployment of Software Intensive Systems - A multiparadigm approach}},
  school = {University of Antwerp},
  year =   {2013},
  file =   {:C$\backslash$:/Users/clagms/Documents/Mendeley/Denil/Unknown/Denil - 2013 - Design, Verification and Deployment of Software Intensive Systems - A multiparadigm approach.pdf:pdf}
}

@InProceedings{Denil2015,
  author =    {Denil, Joachim and Meyers, Bart and Meulenaere, Paul De and Vangheluwe, Hans},
  title =     {{Explicit Semantic Adaptation of Hybrid Formalisms for FMI Co-Simulation}},
  booktitle = {Proceedings of the Symposium on Theory of Modeling {\&} Simulation: DEVS Integrative M{\&}S Symposium},
  year =      {2015},
  editor =    {SCS},
  pages =     {99--106},
  address =   {Alexandria, Virginia},
  file =      {:C$\backslash$:/Users/clagms/Documents/Mendeley/Denil et al/Proceedings of the Symposium on Theory of Modeling {\&} Simulation DEVS Integrative M{\&}S Symposium/Denil et al. - 2015 - Explicit Semantic Adaptation of Hybrid Formalisms for FMI Co-Simulation.pdf:pdf},
  keywords =  {MDE,co-simulation,functional mock-up interface,heterogeneous modelling,semantic adaptation}
}

@Article{Eker2003,
  author =   {Eker, J and Janneck, J.W. and Lee, E.A. and Liu, Jie and Liu, Xiaojun and Ludvig, J and Neuendorffer, S and Sachs, S and Xiong, Yuhong},
  title =    {{Taming heterogeneity - the Ptolemy approach}},
  journal =  {Proceedings of the IEEE},
  year =     {2003},
  volume =   {91},
  number =   {1},
  pages =    {127--144},
  month =    {jan},
  doi =      {10.1109/JPROC.2002.805829},
  isbn =     {0018-9219 VO - 91},
  issn =     {0018-9219},
  keywords = {Amorphous materials,Computational modeling,Design methodology,Electronic switching systems,Embedded computing,Embedded software,Embedded system,Microelectronics,Ptolemy,Ptolemy II,Software systems,Yarn,component reuse,component-based design,domain polymorphism,embedded computing systems,embedded systems,heterogeneous modeling,hierarchical heterogeneity,modeling environments,models of computation,object-oriented programming,programming environments,software architecture,software environment,software reusability},
  url =      {http://ieeexplore.ieee.org/document/1173203/}
}

@Article{Esmaeilsabzali_BigStepModellingLanguages,
  author =   {Esmaeilsabzali, Shahram and Day, Nancy A. and Atlee, Joanne M. and Niu, Jianwei},
  title =    {Deconstructing the semantics of big-step modelling languages},
  journal =  {Requirements Engineering},
  year =     {2010},
  volume =   {15},
  number =   {2},
  pages =    {235--265},
  abstract = {With the popularity of model-driven methodologies and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modelling a system under study? We address this question from a semantic point-of-view for big-step modelling languages (BSMLs). BSMLs are a class of popular behavioural modelling languages in which a model can respond to an input by executing multiple transitions, possibly concurrently. We deconstruct the operational semantics of a large class of BSMLs into eight high-level, mostly orthogonal semantic aspects and their common semantic options. We analyse the characteristics of each semantic option. We use feature diagrams to present the design space of BSML semantics that arises from our deconstruction, as well as to taxonomize the syntactic features of BSMLs that exhibit semantic variations. We enumerate the dependencies between syntactic and semantic features. We also discuss the effects of certain combinations of semantic options when used together in a BSML semantics. Our goal is to empower a requirements engineer to compare and choose an appropriate BSML from the plethora of existing BSMLs, or to articulate the semantic features of a new desired BSML when such a BSML does not exist.},
  doi =      {10.1007/s00766-010-0102-z},
  issn =     {1432-010X}
}

@Article{Esmaeilsabzali_BigStepModellingLanguages,
  author =   {Esmaeilsabzali, Shahram and Day, Nancy A. and Atlee, Joanne M. and Niu, Jianwei},
  title =    {Deconstructing the semantics of big-step modelling languages},
  journal =  {Requirements Engineering},
  year =     {2010},
  volume =   {15},
  number =   {2},
  pages =    {235--265},
  abstract = {With the popularity of model-driven methodologies and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modelling a system under study? We address this question from a semantic point-of-view for big-step modelling languages (BSMLs). BSMLs are a class of popular behavioural modelling languages in which a model can respond to an input by executing multiple transitions, possibly concurrently. We deconstruct the operational semantics of a large class of BSMLs into eight high-level, mostly orthogonal semantic aspects and their common semantic options. We analyse the characteristics of each semantic option. We use feature diagrams to present the design space of BSML semantics that arises from our deconstruction, as well as to taxonomize the syntactic features of BSMLs that exhibit semantic variations. We enumerate the dependencies between syntactic and semantic features. We also discuss the effects of certain combinations of semantic options when used together in a BSML semantics. Our goal is to empower a requirements engineer to compare and choose an appropriate BSML from the plethora of existing BSMLs, or to articulate the semantic features of a new desired BSML when such a BSML does not exist.},
  doi =      {10.1007/s00766-010-0102-z},
  issn =     {1432-010X}
}

@Article{Ewald_SESSL,
  author =     {Ewald, Roland and Uhrmacher, Adelinde M.},
  title =      {SESSL: A Domain-specific Language for Simulation Experiments},
  journal =    {ACM Transactions on Modeling and Computer Simulation},
  year =       {2014},
  volume =     {24},
  number =     {2},
  pages =      {11:1--11:25},
  month =      feb,
  acmid =      {2567895},
  address =    {New York, NY, USA},
  articleno =  {11},
  doi =        {10.1145/2567895},
  issn =       {1049-3301},
  issue_date = {February 2014},
  keywords =   {Scala, Simulation, domain-specific language, experiments},
  numpages =   {25},
  publisher =  {ACM}
}

@InProceedings{ExplicitlyModellingModelDebugging,
  author =    {Van Mierlo, Simon},
  title =     {Explicitly Modelling Model Debugging Environments},
  booktitle = {Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015},
  year =      {2015},
  pages =     {24--29},
  owner =     {Simon},
  timestamp = {2015.12.02}
}

@InProceedings{Fritszon_Modelica,
  author =    {Fritzson, Peter and Bunus, Peter},
  title =     {Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation},
  booktitle = {Proceedings of the 35th Annual Simulation Symposium},
  year =      {2002},
  pages =     {365--380},
  month =     {April}
}

@InProceedings{Gomes2016,
  author =    {Gomes, Cl{\'{a}}udio},
  title =     {{Foundations for Continuous Time Hierarchical Co-simulation}},
  booktitle = {ACM Student Research Competition (ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems)},
  year =      {2016},
  pages =     {to appear},
  address =   {Saint Malo, Brittany, France},
  file =      {:C$\backslash$:/Users/clagms/Documents/Mendeley/Gomes/ACM Student Research Competition (ACMIEEE 19th International Conference on Model Driven Engineering Languages and Systems)/Gomes - 2016 - Foundations for Continuous Time Hierarchical Co-simulation.pdf:pdf}
}

@TechReport{Gomes2016a,
  author = {Gomes, Cl{\'{a}}udio and Denil, Joachim and Vangheluwe, Hans},
  title =  {{Causal-Block Diagrams}},
  year =   {2016},
  url =    {http://msdl.cs.mcgill.ca/people/claudio/pub/Gomes2016a.pdf}
}

@Article{Gore_StatisticalDebuggingForSimulations,
  author =     {Gore, Ross and Reynolds Jr., Paul F. and Kamensky, David and Diallo, Saikou and Padilla, Jose},
  title =      {Statistical Debugging for Simulations},
  journal =    {ACM Transactions on Modeling and Computer Simulation},
  year =       {2015},
  volume =     {25},
  number =     {3},
  pages =      {16:1--16:26},
  month =      apr,
  acmid =      {2699722},
  address =    {New York, NY, USA},
  articleno =  {16},
  doi =        {10.1145/2699722},
  issn =       {1049-3301},
  issue_date = {May 2015},
  keywords =   {Modeling and simulation, automated debugging, fault localization},
  numpages =   {26},
  publisher =  {ACM}
}

@InProceedings{Harel_FormalSCSemantics,
  author =               {Harel, D. and Pnueli, A. and Schmidt, J. P. and Sherman, R.},
  title =                {{On the formal semantics of Statecharts}},
  booktitle =            {Proceedings of the 2nd IEEE Symposium on Logic in Computer Science},
  year =                 {1987},
  pages =                {54--64},
  citeulike-article-id = {2787023},
  keywords =             {not\_in\_thesis},
  posted-at =            {2008-05-12 08:41:32}
}

@InBook{Harel_Rhapsody,
  chapter =   {The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)},
  pages =     {325--354},
  title =     {Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report},
  publisher = {Springer Berlin Heidelberg},
  year =      {2004},
  author =    {Harel, David and Kugler, Hillel},
  editor =    {Ehrig, Hartmut and Damm, Werner and Desel, J{\"o}rg and Gro{\ss}e-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westk{\"a}mper, Engelbert},
  address =   {Berlin, Heidelberg},
  doi =       {10.1007/978-3-540-27863-4_19},
  isbn =      {978-3-540-27863-4}
}

@Article{Harel_Statecharts,
  author =               {Harel, David},
  title =                {Statecharts: a Visual Formalism for Complex Systems},
  journal =              {Science of Computer Programming},
  year =                 {1987},
  volume =               {8},
  number =               {3},
  pages =                {231--274},
  month =                {June},
  abstract =             {We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer real-time systems, communication protocols and digital control units. Our diagrams, which we call statecharts, extend conventional state-transition diagrams with essentially three elements, dealing, respectively, with the notions of hierarchy, concurrency and communication. These transform the language of state diagrams into a highly structured and economical description language. Statecharts are thus compact and expressive--small diagrams can express complex behavior--as well as compositional and modular. When coupled with the capabilities of computerized graphics, statecharts enable viewing the description at different levels of detail, and make even very large specifications manageable and comprehensible. In fact, we intend to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach. Statecharts can be used either as a stand-alone behavioral description or as part of a more general design methodology that deals also with the system's other aspects, such as functional decomposition and data-flow specification. We also discuss some practical experience that was gained over the last three years in applying the statechart formalism to the specification of a particularly complex system.},
  added-at =             {2009-02-11T22:26:32.000+0100},
  citeulike-article-id = {467285},
  description =          {'google':http://scholar.google.com.br/scholar?cluster=3524794103107611546 'Cited by 4768':http://scholar.google.com.br/scholar?cites=3524794103107611546},
  doi =                  {10.1016/0167-6423(87)90035-9},
  interhash =            {ea1ef09e646c5e838b7684333fb22c41},
  intrahash =            {f7cde97064abe3e3f0c884be3c0407a0},
  keywords =             {_mise2009 semantics 1987 statecharts},
  owner =                {Simon},
  posted-at =            {2006-01-17 16:55:14},
  timestamp =            {2009-02-11T22:26:32.000+0100}
}

@Article{Harel_VisualFormalisms,
  author =     {Harel, David},
  title =      {On Visual Formalisms},
  journal =    {Commun. ACM},
  year =       {1988},
  volume =     {31},
  number =     {5},
  pages =      {514--530},
  month =      may,
  acmid =      {42414},
  address =    {New York, NY, USA},
  doi =        {10.1145/42411.42414},
  issn =       {0001-0782},
  issue_date = {May 1988},
  numpages =   {17},
  publisher =  {ACM},
  url =        {http://doi.acm.org/10.1145/42411.42414}
}

@Article{Harel1996,
  author =    {Harel, David and Naamad, Amnon},
  title =     {{The STATEMATE Semantics of Statecharts}},
  journal =   {ACM Trans. Softw. Eng. Methodol.},
  year =      {1996},
  volume =    {5},
  number =    {4},
  pages =     {293--333},
  month =     {oct},
  address =   {New York, NY, USA},
  doi =       {10.1145/235321.235322},
  file =      {:C$\backslash$:/Users/clagms/Documents/Mendeley/Harel, Naamad/ACM Trans. Softw. Eng. Methodol/Harel, Naamad - 1996 - The STATEMATE Semantics of Statecharts.pdf:pdf},
  issn =      {1049-331X},
  keywords =  {STATEMATE,behavioral modeling,reactive system,semantics,statechart},
  publisher = {ACM},
  url =       {http://doi.acm.org/10.1145/235321.235322}
}

@Book{Hopcroft_AutomataTheory,
  title =     {Introduction to Automata Theory, Languages, and Computation (3rd Edition)},
  publisher = {Addison-Wesley Longman Publishing Co., Inc.},
  year =      {2006},
  author =    {Hopcroft, John E. and Motwani, Rajeev and Ullman, Jeffrey D.},
  address =   {Boston, MA, USA},
  isbn =      {0321455363}
}

@InProceedings{HUTNInDEVS,
  author =       {Barroca, Bruno and Mustafiz, Sadaf and Van Mierlo, Simon and Vangheluwe, Hans},
  title =        {Integrating a Neutral Action Language in a {DEVS} Modelling Environment},
  booktitle =    {Proceedings of the 8th International Conference on Simulation Tools and Techniques},
  year =         {2015},
  pages =        {19--28},
  organization = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)},
  owner =        {Simon},
  timestamp =    {2015.10.20}
}

@Article{Jantsch2005,
  author =   {Jantsch, A and Sander, I},
  title =    {{Models of computation and languages for embedded system design}},
  journal =  {IEE Proceedings - Computers and Digital Techniques},
  year =     {2005},
  volume =   {152},
  number =   {2},
  pages =    {114--129(15)},
  abstract = {Models of computation (MoC) are reviewed and organised with respect to the time abstraction they use. Continuous time, discrete time, synchronous and untimed MoCs are distinguished. System level models serve a variety of objectives with partially contradicting requirements. Consequently, it is argued that different MoCs are necessary for the various tasks and phases in the design of an embedded system. Moreover, different MoCs have to be integrated to provide a coherent system modelling and analysis environment. The relation between some popular languages and the reviewed MoCs is discussed to find that a given MoC is offered by many languages and a single language can support multiple MoCs. It is contended that it is of importance for the quality of tools and overall design productivity, which abstraction levels and which primitive operators are provided in a language. However, it is observed that there are various flexible ways to do this, e.g. by way of heterogeneous frameworks, coordination languages and embedding of different MoCs in the same language.},
  doi =      {10.1049/ip-cdt:20045098},
  file =     {:C$\backslash$:/Users/clagms/Documents/Mendeley/Jantsch, Sander/IEE Proceedings - Computers and Digital Techniques/Jantsch, Sander - 2005 - Models of computation and languages for embedded system design.pdf:pdf},
  isbn =     {1350-2387 VO - 152},
  issn =     {1350-2387},
  keywords = {coherent system modelling environment,continuous time MoCs,coordination languages,discrete time MoCs,embedded system design,embedded systems,heterogeneous frameworks,logic design,models of computation,synchronous MoCs,system level models,system on a chip,system-on-chip,systems analysis,time abstraction,untimed MoCs},
  url =      {http://digital-library.theiet.org/content/journals/10.1049/ip-cdt{\_}20045098}
}

@InProceedings{Kistner_SCXMLUIs,
  author =    {Kistner, Gavin and Nuernberger, Chris},
  title =     {Developing User Interfaces using SCXML Statecharts},
  booktitle = {Proceedings of the 1st EICS Workshop on Engineering Interactive Computer Systems with SCXML},
  year =      {2014},
  editor =    {Schnelle-Walka, Dirk and Radomski, Stefan and Lager, Torbj\"{o}rn and Barnett, Jim and Dahl, Deborah and M\"{u}hlh\"{a}user, Max},
  pages =     {5--11}
}

@InProceedings{Krasnogolowy_DebuggingModels,
  author =    {A. Krasnogolowy and S. Hildebrandt and S. Wätzoldt},
  title =     {Flexible debugging of behavior models},
  booktitle = {Proceedings of the 2012 IEEE International Conference on Industrial Technology (ICIT)},
  year =      {2012},
  pages =     {331-336},
  month =     {March},
  doi =       {10.1109/ICIT.2012.6209959},
  keywords =  {program debugging;program testing;programming languages;behavior modeling language;debugger;flexible debugging;general-purpose programming language;model-driven engineering;story diagram;testing;Irrigation;Pattern matching;Unified modeling language}
}

@InProceedings{Laurent_DebuggingUML,
  author =    {Laurent, Yoann and Bendraou, Reda and Gervais, Marie-Pierre},
  title =     {Executing and Debugging UML Models: An fUML Extension},
  booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing},
  year =      {2013},
  series =    {SAC '13},
  pages =     {1095--1102},
  address =   {New York, NY, USA},
  publisher = {ACM},
  acmid =     {2480569},
  doi =       {10.1145/2480362.2480569},
  isbn =      {978-1-4503-1656-9},
  keywords =  {UML, debugging, execution, fUML, testing},
  location =  {Coimbra, Portugal},
  numpages =  {8}
}

@TechReport{Lucio_FTGPM,
  author =      {L\'{u}cio, Levi and Mustafiz, Sadaf and Denil, Joachim and Meyers, Bart and Vangheluwe, Hans},
  title =       {The Formalism Transformation Graph as a Guide to Model Driven Engineering},
  institution = {McGill University},
  year =        {2012},
  number =      {SOCS-TR-2012.1},
  month =       {March}
}

@Article{Maleki_DesignDEVS,
  author =     {Maleki, Maryam and Woodbury, Robert and Goldstein, Rhys and Breslav, Simon and Khan, Azam},
  title =      {Designing DEVS Visual Interfaces for End-user Programmers},
  journal =    {SIMULATION},
  year =       {2015},
  volume =     {91},
  number =     {8},
  pages =      {715--734},
  month =      aug,
  acmid =      {2879310},
  address =    {San Diego, CA, USA},
  doi =        {10.1177/0037549715598570},
  issn =       {0037-5497},
  issue_date = {8 2015},
  keywords =   {Discrete-event simulation, cognitive dimensions, end-user programming, visual programming},
  numpages =   {20},
  publisher =  {Society for Computer Simulation International}
}

@InCollection{Mannadiar_DebuggingDSM,
  author =    {Mannadiar, Raphael and Vangheluwe, Hans},
  title =     {Debugging in Domain-Specific Modelling},
  booktitle = {Software Language Engineering},
  publisher = {Springer Berlin Heidelberg},
  year =      {2011},
  editor =    {Malloy, Brian and Staab, Steffen and Brand, Mark},
  volume =    {6563},
  series =    {Lecture Notes in Computer Science},
  pages =     {276--285},
  doi =       {10.1007/978-3-642-19440-5_17},
  isbn =      {978-3-642-19439-9},
  owner =     {Simon},
  timestamp = {2013.09.05}
}

@InProceedings{Mayerhofer_DebuggingUML,
  author =    {Mayerhofer, Tanja},
  title =     {Testing and Debugging UML Models Based on fUML},
  booktitle = {Proceedings of the 34th International Conference on Software Engineering},
  year =      {2012},
  series =    {ICSE '12},
  pages =     {1579--1582},
  address =   {Piscataway, NJ, USA},
  publisher = {IEEE Press},
  acmid =     {2337489},
  isbn =      {978-1-4673-1067-3},
  location =  {Zurich, Switzerland},
  numpages =  {4}
}

@Article{MetaEditTransformations,
  author =    {Simon {Van Mierlo} and Hans Vangheluwe},
  title =     {Adding Rule-Based Model Transformation to Modelling Languages in {MetaEdit+}},
  journal =   {ECEASST},
  year =      {2012},
  volume =    {54},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee =        {http://journal.ub.tu-berlin.de/eceasst/article/view/781},
  url =       {http://journal.ub.tu-berlin.de/eceasst/article/view/781}
}

@InCollection{Meyers_ProMoBox,
  author =    {Meyers, Bart and Deshayes, Romuald and Lucio, Levi and Syriani, Eugene and Vangheluwe, Hans and Wimmer, Manuel},
  title =     {{ProMoBox}: A Framework for Generating Domain-Specific Property Languages},
  booktitle = {Software Language Engineering},
  publisher = {Springer International Publishing},
  year =      {2014},
  volume =    {8706},
  series =    {Lecture Notes in Computer Science},
  pages =     {1-20},
  isbn =      {978-3-319-11244-2},
  language =  {English}
}

@InProceedings{Mikk_FormalSCSemantics,
  author =    {Erich Mikk and Yassine Lakhnech and Carsta Petersohn and Michael Siegel},
  title =     {On Formal Semantics of Statecharts as Supported by STATEMATE},
  booktitle = {Second BCS-FACS Northern Formal Methods Workshop},
  year =      {1997},
  publisher = {Springer-Verlag}
}

@InProceedings{ModelDebuggingAndExperimentation,
  author =    {Van Mierlo, Simon},
  title =     {Explicit Modelling of Model Debugging and Experimentation},
  booktitle = {Proceedings of the Doctoral Symposium at MODELS'14},
  year =      {2014},
  owner =     {Simon},
  timestamp = {2015.01.29}
}

@InProceedings{ModellingDEVSdebugging,
  author =    {Van Mierlo, Simon and Van Tendeloo, Yentl and Barroca, Bruno and Mustafiz, Sadaf and Vangheluwe, Hans},
  title =     {Explicit Modelling of a {Parallel DEVS} Experimentation Environment},
  booktitle = {Proceedings of the Symposium on Theory of Modeling \& Simulation: DEVS Integrative M\&S Symposium},
  year =      {2015},
  series =    {DEVS '15},
  pages =     {107--114},
  address =   {San Diego, CA, USA},
  publisher = {Society for Computer Simulation International},
  acmid =     {2872980},
  isbn =      {978-1-5108-0105-9},
  keywords =  {debugging, parallel DEVS, statecharts},
  location =  {Alexandria, Virginia},
  numpages =  {8},
  url =       {http://dl.acm.org/citation.cfm?id=2872965.2872980}
}

@Article{Mosterman_MPM,
  author =   {Mosterman, Pieter J. and Vangheluwe, Hans},
  title =    {Computer Automated Multi-Paradigm Modeling: An Introduction},
  journal =  {SIMULATION},
  year =     {2004},
  volume =   {80},
  number =   {9},
  pages =    {433--450},
  abstract = {Modeling and simulation are quickly becoming the primary enablers for complex system                 design. They allow the representation of intricate knowledge at various levels of                 abstraction and allow automated analysis as well as synthesis. The heterogeneity of                 the design process, as much as of the system itself, however, requires a manifold of                 formalisms tailored to the specific task at hand. Efficient design approaches aim to                 combine different models of a system under study and maximally use the knowledge                 captured in them. Computer Automated Multi-Paradigm Modeling (CAMPaM) is the                 emerging field that addresses the issues involved and formulates a                 domain-independent framework along three dimensions: (1) multiple levels of                 abstraction, (2) multiformalism modeling, and (3)                 meta-modeling. This article presents an overview of the CAMPaM field and                 shows how transformations assume a central place. These transformation are,                 in turn, explicitly modeled themselves by graph grammars.},
  doi =      {10.1177/0037549704050532},
  eprint =   {http://sim.sagepub.com/content/80/9/433.full.pdf+html}
}

@InProceedings{MultiModelverse,
  author =    {Van Mierlo, Simon and Barroca, Bruno and Vangheluwe, Hans and Syriani, Eugene and K\"uhne, Thomas},
  title =     {Multi-Level Modelling in the {Modelverse}},
  booktitle = {MULTI 2014 -- Multi-Level Modelling Workshop Proceedings},
  year =      {2014},
  owner =     {Simon},
  timestamp = {2014.11.17}
}

@Article{Murata_Petrinets,
  author =    {Murata, T.},
  title =     {Petri nets: Properties, analysis and applications},
  journal =   {Proceedings of the IEEE},
  year =      {1989},
  volume =    {77},
  number =    {4},
  pages =     {541--580},
  doi =       {10.1109/5.24143},
  issn =      {0018-9219},
  keywords =  {Petri nets;logic programming;stochastic processes;Petri nets;behavioural properties;concurrent system model;high-level nets;logic programming;marked graphs;performance modeling;reachability criteria;stochastic nets;structural properties;subclasses;Books;Equations;History;Information processing;Logic programming;Mathematical model;Petri nets;Power system modeling;Stochastic processes;Stochastic systems},
  owner =     {Simon},
  timestamp = {2014.11.07}
}

@InProceedings{Mustafiz_FTGPM,
  author =    {Mustafiz, Sadaf and Denil, Joachim and L\'{u}cio, Levi and Vangheluwe, Hans},
  title =     {The FTG+PM Framework for Multi-paradigm Modelling: An Automotive Case Study},
  booktitle = {Proceedings of the 6th International Workshop on Multi-Paradigm Modeling},
  year =      {2012},
  series =    {MPM '12},
  pages =     {13--18},
  address =   {New York, NY, USA},
  publisher = {ACM},
  acmid =     {2508446},
  doi =       {10.1145/2508443.2508446},
  isbn =      {978-1-4503-1805-1},
  location =  {Innsbruck, Austria},
  numpages =  {6}
}

@InProceedings{Mustafiz2013,
  author =    {Mustafiz, Sadaf and Vangheluwe, Hans},
  title =     {{Explicit Modelling of Statechart Simulation Environments}},
  booktitle = {Proceedings of the 2013 Summer Computer Simulation Conference},
  year =      {2013},
  pages =     {21:1----21:8},
  file =      {:C$\backslash$:/Users/clagms/Documents/Mendeley/Mustafiz, Vangheluwe/Proceedings of the 2013 Summer Computer Simulation Conference/Mustafiz, Vangheluwe - 2013 - Explicit Modelling of Statechart Simulation Environments.pdf:pdf},
  isbn =      {978-1-62748-276-9},
  keywords =  {experimentation,interactive simulation environments,model transformation,statecharts}
}

@InProceedings{Mustafiz2016a,
  author =    {Mustafiz, Sadaf and Gomes, Cl{\'{a}}udio and Barroca, Bruno and Vangheluwe, Hans},
  title =     {{Modular Design of Hybrid Languages by Explicit Modeling of Semantic Adaptation}},
  booktitle = {Proceedings of the Symposium on Theory of Modeling {\&} Simulation: DEVS Integrative M{\&}S Symposium},
  year =      {2016},
  series =    {DEVS '16},
  pages =     {29:1----29:8},
  address =   {San Diego, CA, USA}
}

@InProceedings{Muzy_DSDEVSAlgos,
  author =    {Alexandre Muzy and James J. Nutaro},
  title =     {Algorithms for efficient implementations of the {DEVS} \& {DSDEVS} abstract simulators},
  booktitle = {1st Open International Conference on Modeling \& Simulation (OICMS)},
  year =      {2005},
  pages =     {273--279}
}

@Misc{Nutaro_adevs,
  author =       {Nutaro, James J.},
  title =        {adevs},
  howpublished = {\url{http://www.ornl.gov/~1qn/adevs/}},
  year =         {2016}
}

@TechReport{OMG_BPMN,
  author =     {Object Management Group (OMG)},
  title =      {Business Process Model and Notation (BPMN) Version 2.0},
  year =       {2011},
  month =      {jan},
  abstract =   { The Object Management Group (OMG) has developed a standard Business Process Model and Notation (BPMN). The primary goal of BPMN is to provide a notation that is readily understandable by all business users, from the business analysts that create the initial drafts of the processes, to the technical developers responsible for implementing the technology that will perform those processes, and finally, to the business people who will manage and monitor those processes. Thus, BPMN creates a standardized bridge for the gap between the business process design and process implementation. Another goal, but no less important, is to ensure that XML languages designed for the execution of business processes, such as WSBPEL (Web Services Business Process Execution Language), can be visualized with a business-oriented notation.},
  etype =      {Standard},
  intitution = {Object Management Group (OMG)},
  keywords =   {BPMN 2.0, OMG},
  timestamp =  {2009-06-18}
}

@Article{PopModelicaDebugging,
  author =    {Pop, Adrian and Sjölund, Martin and Ashgar, Adeel and Fritzson, Peter and Casella, Francesco},
  title =     {{Integrated Debugging of Modelica Models}},
  journal =   {Modeling, Identification and Control},
  year =      {2014},
  volume =    {35},
  number =    {2},
  pages =     {93--107},
  doi =       {10.4173/mic.2014.2.3},
  publisher = {Norwegian Society of Automatic Control}
}

@InProceedings{Posse2002,
  author =    {Posse, E. and de Lara, J. and Vangheluwe, H.},
  title =     {{Processing causal block diagrams with graphgrammars in AToM3}},
  booktitle = {European Joint Conference on Theory and Practice of Software (ETAPS), Workshop on Applied Graph Transformation (AGT)},
  year =      {2002},
  pages =     {23--34}
}

@InProceedings{SCCD,
  author =    {Van Mierlo, Simon and Van Tendeloo, Yentl and Meyers, Bart and Exelmans, Joeri and Vangheluwe, Hans},
  title =     {{SCCD}: {SCXML} Extended with Class Diagrams},
  booktitle = {3rd Workshop on Engineering Interactive Systems with SCXML, part of EICS 2016},
  year =      {2016}
}

@InBook{Schoenboeck_MTDebugging,
  chapter =   {Catch Me If You Can -- Debugging Support for Model Transformations},
  pages =     {5--20},
  title =     {Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers},
  publisher = {Springer Berlin Heidelberg},
  year =      {2010},
  author =    {Schoenboeck, Johannes and Kappel, Gerti and Kusel, Angelika and Retschitzegger, Werner and Schwinger, Wieland and Wimmer, Manuel},
  editor =    {Ghosh, Sudipto},
  address =   {Berlin, Heidelberg},
  doi =       {10.1007/978-3-642-12261-3_2},
  isbn =      {978-3-642-12261-3}
}

@InProceedings{Syriani_AToMPM,
  author =    {Eugene Syriani and Hans Vangheluwe and Raphael Mannadiar and Conner Hansen and Simon {Van Mierlo} and H{\"u}seyin Ergin},
  title =     {{AToMPM}: A Web-based Modeling Environment},
  booktitle = {Joint Proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)},
  year =      {2013},
  volume =    {1115},
  pages =     {21--25},
  month =     sep,
  publisher = {{CEUR}}
}

@Article{Uhrmacher_DSinMS,
  author =     {Uhrmacher, Adelinde M.},
  title =      {Dynamic Structures in Modeling and Simulation: A Reflective Approach},
  journal =    {ACM Transactions on Modeling and Computer Simulation},
  year =       {2001},
  volume =     {11},
  number =     {2},
  pages =      {206--232},
  month =      apr,
  acmid =      {384173},
  address =    {New York, NY, USA},
  doi =        {10.1145/384169.384173},
  issn =       {1049-3301},
  issue_date = {April 2001},
  keywords =   {DEVS, bisimulation, modeling and simulation formalism, reflection, variable structure models},
  numpages =   {27},
  publisher =  {ACM}
}

@InProceedings{Vangheluwe2002,
  author =    {Vangheluwe, Hans and {De Lara}, Juan and Mosterman, Pieter J.},
  title =     {{An introduction to multi-paradigm modelling and simulation}},
  booktitle = {Proceedings of AIS2002 (AI, Simulation {\&} Planning)},
  year =      {2002},
  pages =     {9--20},
  publisher = {SCS},
  file =      {:C$\backslash$:/Users/clagms/Documents/Mendeley/Vangheluwe, De Lara, Mosterman/Proceedings of AIS2002 (AI, Simulation {\&} Planning)/Vangheluwe, De Lara, Mosterman - 2002 - An introduction to multi-paradigm modelling and simulation.pdf:pdf},
  keywords =  {modelling-methodology,multi-paradigm}
}

@Article{Vangheluwe2008,
  author =   {Vangheluwe, Hans},
  title =    {{Foundations of Modelling and Simulation of Complex Systems}},
  journal =  {EASST},
  year =     {2008},
  volume =   {10},
  abstract = {Modelling and simulation are becoming increasingly important enablers for the analysis and design of complex systems. In application domains such as automotive design, the notion of a "virtual experiment" is taken to the limit and complex designs are model-checked, simulated, and optimized extensively before a single realization is ever made. This "doing it right the first time" leads to tremendous cost savings and improved quality. Furthermore, with appropriate models, it is often possible to automatically synthesize (parts of) the system-to-be-built. In this paper, the basic concepts of modelling and simulation are introduced. These concepts are based on general systems theory and start from the idea of a model as an abstract representation of knowledge about structure and behaviour of some system. The purpose is either analysis or design in a particular experimental context. Typically, different formalisms are used such as Ordinary Differential Equations, Queueing Networks, and State Automata. It will be shown how these different formalisms all share a common structure and differ in the choice of time base, state space, and description of temporal evolution. This allows one to classify formalisms on the one hand and to find a common ground for implementing simulators on the other hand.},
  doi =      {10.14279/tuj.eceasst.10.162.148},
  file =     {:C$\backslash$:/Users/clagms/Documents/Mendeley/Vangheluwe/EASST/Vangheluwe - 2008 - Foundations of Modelling and Simulation of Complex Systems.pdf:pdf},
  keywords = {modelling,multi-forma,simulation,systems theory}
}

@InProceedings{VanMierlo_ExplicitlyModellingModelDebugging,
  author =    {{Van Mierlo}, Simon},
  title =     {Explicitly Modelling Model Debugging Environments},
  booktitle = {Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015},
  year =      {2015},
  pages =     {24--29},
  owner =     {Simon},
  timestamp = {2015.12.02}
}

@InProceedings{VanMierlo_PDEVSDebugging,
  author =    {Van Mierlo, Simon and Van Tendeloo, Yentl and Barroca, Bruno and Mustafiz, Sadaf and Vangheluwe, Hans},
  title =     {Explicit Modelling of a {Parallel DEVS} Experimentation Environment},
  booktitle = {Proceedings of the Symposium on Theory of Modeling \& Simulation: DEVS Integrative M\&S Symposium},
  year =      {2015},
  series =    {DEVS '15},
  pages =     {107--114},
  address =   {San Diego, CA, USA},
  publisher = {Society for Computer Simulation International},
  acmid =     {2872980},
  isbn =      {978-1-5108-0105-9},
  keywords =  {debugging, parallel DEVS, statecharts},
  location =  {Alexandria, Virginia},
  numpages =  {8}
}

@InProceedings{VanTendeloo_PythonPDEVS,
  author =    {Van Tendeloo, Yentl and Vangheluwe, Hans},
  title =     {The Modular Architecture of the {Python(P)DEVS} Simulation Kernel},
  booktitle = {Proceedings of the 2014 Spring Simulation Multiconference},
  year =      {2014},
  pages =     {387--392}
}

@InProceedings{VanTendeloo_PythonPDEVSOverview,
  author =    {Van Tendeloo, Yentl and Vangheluwe, Hans},
  title =     {An Overview of {PythonPDEVS}},
  booktitle = {JDF 2016 -- Les Journ\'ees DEVS Francophones -- Th\'eorie et Applications},
  year =      {2016},
  editor =    {Collectif Workshop RED},
  pages =     {59--66}
}

@Article{Wu_DSMDebugging,
  author =    {Wu, Hui and Gray, Jeff and Mernik, Marjan},
  title =     {Grammar-driven generation of domain-specific language debuggers},
  journal =   {Software: Practice and Experience},
  year =      {2008},
  volume =    {38},
  number =    {10},
  pages =     {1073--1103},
  doi =       {10.1002/spe.863},
  issn =      {1097-024X},
  keywords =  {debugging, DSL, GPL, grammars, program environments-integrated environments},
  publisher = {John Wiley \& Sons, Ltd.},
  url =       {http://dx.doi.org/10.1002/spe.863}
}

@Book{Zeigler_TMS,
  title =     {Theory of Modeling and Simulation},
  publisher = {Academic Press},
  year =      {2000},
  author =    {Zeigler, Bernard P. and Praehofer, Herbert and Kim, Tag Gon},
  edition =   {second}
}

@Book{Zeigler_TMS_First,
  title =     {Theory of Modelling and Simulation},
  publisher = {Krieger Publishing Co., Inc.},
  year =      {1984},
  author =    {Zeigler, Bernard P.},
  address =   {Melbourne, FL, USA},
  isbn =      {0898748089}
}

@Book{Zeller_WhyProgramsFail,
  title =     {Why Programs Fail: A Guide to Systematic Debugging},
  publisher = {Morgan Kaufmann Publishers Inc.},
  year =      {2005},
  author =    {Zeller, Andreas},
  address =   {San Francisco, CA, USA},
  isbn =      {1558608664},
  owner =     {Simon},
  timestamp = {2014.11.04}
}
