{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T06:49:14Z","timestamp":1749019754497,"version":"3.37.3"},"reference-count":90,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T00:00:00Z","timestamp":1604275200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T00:00:00Z","timestamp":1604275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s10270-020-00829-y","type":"journal-article","created":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T00:02:56Z","timestamp":1604275376000},"page":"795-819","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Live modeling in the context of state machine models and code generation"],"prefix":"10.1007","volume":"20","author":[{"given":"Mojtaba","family":"Bagherzadeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Jahed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,2]]},"reference":[{"key":"829_CR1","unstructured":"Ahmadi, R., Hili, N., Jweda, L., Das, N., Ganesan, S., Dingel, J.: Run-time monitoring of a rover: MDE research with open source software and low-cost hardware. In: EduSymp\/OSS4MDE@ MoDELS, pp. 37\u201344 (2016)"},{"issue":"1","key":"829_CR2","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1147\/sj.421.0060","volume":"42","author":"J Appavoo","year":"2003","unstructured":"Appavoo, J., Hui, K., Soules, C.A.N., Wisniewski, R.W., Da Silva, D.M., Krieger, O., Auslander, M.A., Edelsohn, D.J., Gamsa, B., Ganger, G.R., et al.: Enabling autonomic behavior in systems software with hot swapping. IBM Syst. J. 42(1), 60\u201376 (2003)","journal-title":"IBM Syst. J."},{"issue":"2","key":"829_CR3","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.3182\/20120215-3-AT-3016.00192","volume":"45","author":"A Asghar","year":"2012","unstructured":"Asghar, A., Pop, A., Sj\u00f6lund, M., Fritzson, P.: Efficient debugging of large algorithmic modelica applications. IFAC Proc. Vol. 45(2), 1087\u20131090 (2012)","journal-title":"IFAC Proc. Vol."},{"key":"829_CR4","unstructured":"Abrahams, D., Dawes, B.: Boost C++ library. https:\/\/www.boost.org\/. Accessed 19 Mar (2019)"},{"key":"829_CR5","unstructured":"Bagherzadeh, M., Jahed, K., Combemale, B., Dingel, J.: Live-UMLRT repository. https:\/\/bitbucket.org\/moji1\/live-umlrt.git. Accessed 19 Mar (2020)"},{"key":"829_CR6","doi-asserted-by":"crossref","unstructured":"Bagherzadeh, M., Hili, N., Dingel, J.: MDebugger repository. https:\/\/github.com\/moji1\/MDebugger. Accessed 5 June (2017)","DOI":"10.1145\/3183440.3183473"},{"key":"829_CR7","doi-asserted-by":"crossref","unstructured":"Bagherzadeh, M., Hili, N., Dingel, J.: Model-level, platform-independent debugging in the context of the model-driven development of real-time systems. In: 11th Joint Meeting on Foundations of Software Engineering, pp. 419\u2013430 (2017)","DOI":"10.1145\/3106237.3106278"},{"key":"829_CR8","doi-asserted-by":"publisher","unstructured":"Bagherzadeh, M., Hili, N., Seekatz, D., Dingel, J.: MDebugger: a model-level debugger for UML-RT. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE \u201918, pp. 97\u2013100. ACM, New York, NY, USA (2018). ISBN 978-1-4503-5663-3. https:\/\/doi.org\/10.1145\/3183440.3183473. http:\/\/doi.acm.org\/10.1145\/3183440.3183473","DOI":"10.1145\/3183440.3183473"},{"key":"829_CR9","doi-asserted-by":"crossref","unstructured":"Bagherzadeh, M., Jahed, K., Combemale, B., Dingel, J.: Live-UMLRT: a tool for live modeling of UML-RT models. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 743\u2013747. IEEE (2019)","DOI":"10.1109\/MODELS-C.2019.00115"},{"key":"829_CR10","doi-asserted-by":"crossref","unstructured":"Balasubramanian, J., Tambe, S., Lu, C., Gokhale, A., Gill, C., Schmidt, D.C: Adaptive failover for real-time middleware with passive replication. In: 15th IEEE Symposium on Real-Time and Embedded Technology and Applications, pp. 118\u2013127. IEEE (2009)","DOI":"10.1109\/RTAS.2009.36"},{"key":"829_CR11","doi-asserted-by":"crossref","unstructured":"Bousse, E., Mayerhofer, T., Combemale, B., Baudry, B.: A generative approach to define rich domain-specific trace metamodels. In: European Conference on Modelling Foundations and Applications, pp. 45\u201361. Springer (2015)","DOI":"10.1007\/978-3-319-21151-0_4"},{"key":"829_CR12","doi-asserted-by":"crossref","unstructured":"Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., Deantoni, J., Combemale, B.: Execution framework of the GEMOC studio (tool demo). In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp. 84\u201389. ACM (2016)","DOI":"10.1145\/2997364.2997384"},{"key":"829_CR13","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.jss.2017.11.025","volume":"137","author":"E Bousse","year":"2018","unstructured":"Bousse, E., Leroy, D., Combemale, B., Wimmer, M., Baudry, B.: Omniscient debugging for executable DSLs. J. Syst. Softw. 137, 261\u2013288 (2018)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"829_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10270-017-0598-5","volume":"18","author":"E Bousse","year":"2019","unstructured":"Bousse, E., Mayerhofer, T., Combemale, B., Baudry, B.: Advanced and efficient execution trace management for executable domain-specific modeling languages. Softw. Syst. Model. 18(1), 385\u2013421 (2019). https:\/\/doi.org\/10.1007\/s10270-017-0598-5","journal-title":"Softw. Syst. Model."},{"key":"829_CR15","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., F\u00e4hndrich, M., de Halleux, P., McDirmid, S., Moskal, M., Tillmann, N., Kato, J.: It\u2019s alive! Continuous feedback in UI programming. In: ACM SIGPLAN Notices, vol. 48, pp. 95\u2013104. ACM (2013)","DOI":"10.1145\/2499370.2462170"},{"key":"829_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.infsof.2018.12.008","volume":"108","author":"M Campusano","year":"2019","unstructured":"Campusano, M., Fabry, J., Bergel, A.: Live programming in practice: a controlled experiment on state machines for robotic behaviors. Inf. Softw. Technol. 108, 99\u2013114 (2019)","journal-title":"Inf. Softw. Technol."},{"key":"829_CR17","doi-asserted-by":"publisher","unstructured":"Chen, H., Yu, J., Chen, R., Zang, B., Yew, P.-C.: Polus: a powerful live updating system. In: Proceedings of the 29th International Conference on Software Engineering, ICSE \u201907, pp. 271\u2013281. IEEE Computer Society, Washington, DC, USA (2007). ISBN 0-7695-2828-7. https:\/\/doi.org\/10.1109\/ICSE.2007.65","DOI":"10.1109\/ICSE.2007.65"},{"key":"829_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0675-4","author":"F Ciccozzi","year":"2018","unstructured":"Ciccozzi, F., Malavolta, I., Selic, B.: Execution of UML models: a systematic review of research and practice. Softw. Syst. Model. (2018). https:\/\/doi.org\/10.1007\/s10270-018-0675-4","journal-title":"Softw. Syst. Model."},{"issue":"5","key":"829_CR19","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"A Colin","year":"2003","unstructured":"Colin, A., Thomas, K.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36\u201341 (2003)","journal-title":"IEEE Softw."},{"key":"829_CR20","doi-asserted-by":"crossref","unstructured":"Corley, J.: Exploring efficient and scalable omniscient debugging for MDE. Ph.D. thesis (2016)","DOI":"10.1007\/s11219-015-9304-4"},{"key":"829_CR21","doi-asserted-by":"crossref","unstructured":"Corley, J., Eddy, B.P., Gray, J.: Towards efficient and scalable omniscient debugging for model transformations. In: Proceedings of the 14th Workshop on Domain-Specific Modeling, pp. 13\u201318. ACM (2014)","DOI":"10.1145\/2688447.2688450"},{"key":"829_CR22","unstructured":"Czaplicki, E: ELM: concurrent FRP for functional GUIs. Senior thesis. Harvard University (2012)"},{"key":"829_CR23","doi-asserted-by":"crossref","unstructured":"Das, N., Ganesan, S., Jweda, L., Bagherzadeh, M., Hili, N., Dingel, J.: Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 36\u201343. ACM (2016)","DOI":"10.1145\/2976767.2976781"},{"key":"829_CR24","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/3-540-36209-6_39","volume-title":"Product Focused Software Process Improvement","author":"LAJ Dohmen","year":"2002","unstructured":"Dohmen, L.A.J., Somers, L.J.: Experiences and lessons learned using UML-RT to develop embedded printer software. In: Markku, O., Seija, K. (eds.) Product Focused Software Process Improvement, pp. 475\u2013484. Springer, Berlin (2002)"},{"key":"829_CR25","doi-asserted-by":"crossref","unstructured":"Dotan, D., Kirshin, A.: Debugging and testing behavioral UML models. In: Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications Companion, pp. 838\u2013839. ACM (2007)","DOI":"10.1145\/1297846.1297915"},{"key":"829_CR26","unstructured":"Eclipse Foundation: Eclipse papyrus for real time (Papyrus-RT). https:\/\/www.eclipse.org\/papyrus-rt. Accessed 19 Mar (2019)"},{"key":"829_CR27","unstructured":"Eclipse Foundation: Eclipse eTrice\u2014real-time modeling tools. https:\/\/www.eclipse.org\/etrice\/. Accessed 10 Feb (2019)"},{"issue":"10","key":"829_CR28","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1145\/1103845.1094851","volume":"40","author":"J Edwards","year":"2005","unstructured":"Edwards, J.: Subtext: uncovering the simplicity of programming. SIGPLAN Not. 40(10), 505\u2013518 (2005). https:\/\/doi.org\/10.1145\/1103845.1094851","journal-title":"SIGPLAN Not."},{"key":"829_CR29","unstructured":"Fabry, R.S.: How to design a system in which modules can be changed on the fly. In: Proceedings of the 2nd International Conference on Software Engineering, ICSE \u201976, pp. 470\u2013476. IEEE Computer Society Press, Los Alamitos, CA, USA (1976). http:\/\/dl.acm.org\/citation.cfm?id=800253.807720"},{"key":"829_CR30","unstructured":"FORTISS GMBH: AF3. http:\/\/af3.fortiss.org\/. Accessed 19 July (2016)"},{"issue":"3","key":"829_CR31","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/2.573670","volume":"30","author":"M Franz","year":"1997","unstructured":"Franz, M.: Dynamic linking of software components. Computer 30(3), 74\u201381 (1997)","journal-title":"Computer"},{"issue":"10","key":"829_CR32","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/84537.84545","volume":"33","author":"RM Fujimoto","year":"1990","unstructured":"Fujimoto, R.M.: Parallel discrete event simulation. Commun. ACM 33(10), 30\u201353 (1990)","journal-title":"Commun. ACM"},{"key":"829_CR33","doi-asserted-by":"crossref","unstructured":"Gery, E., Harel, D., Palachi, E.: Rhapsody: a complete life-cycle model-based development system. In: International Conference on Integrated Formal Methods, pp. 1\u201310. Springer (2002)","DOI":"10.1007\/3-540-47884-1_1"},{"key":"829_CR34","unstructured":"Goldberg, A.: Smalltalk-80-the interactive programming environment (1984)"},{"key":"829_CR35","unstructured":"Graf, P., Muller-Glaser, K.D: Dynamic mapping of runtime information models for debugging embedded software. In: Seventeenth IEEE International Workshop on Rapid System Prototyping, 2006, pp. 3\u20139. IEEE (2006)"},{"issue":"4","key":"829_CR36","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/2.585156","volume":"30","author":"R Guerraoui","year":"1997","unstructured":"Guerraoui, R., Schiper, A.: Software-based replication for fault tolerance. Computer 30(4), 68\u201374 (1997)","journal-title":"Computer"},{"key":"829_CR37","doi-asserted-by":"crossref","unstructured":"Haberl, W., Herrmannsdoerfer, M., Birke, J., Baumgarten, U.: Model-level debugging of embedded real-time systems. In: 10th International Conference on Computer and Information Technology (CIT\u201910), pp. 1887\u20131894. IEEE (2010)","DOI":"10.1109\/CIT.2010.323"},{"key":"829_CR38","unstructured":"Hancock, C.M.: Real-time programming and the big ideas of computational literacy. Ph.D. thesis, Cambridge, MA, USA (2003). AAI0805688"},{"issue":"3","key":"829_CR39","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"829_CR40","unstructured":"HCL: HCL RealTime software tooling (RTist). https:\/\/www.hcltech.com\/products-and-platforms\/rtist. Accessed 19 Mar (2019)"},{"key":"829_CR41","volume-title":"Dynamic Software Updating","author":"M Hicks","year":"2001","unstructured":"Hicks, M., Moore, J.T., Nettles, S.: Dynamic Software Updating, vol. 36. ACM, New York (2001)"},{"key":"829_CR42","doi-asserted-by":"crossref","unstructured":"Hili, N., Bagherzadeh, M., Jahed, K., Dingel, J.: A model-based architecture for interactive run-time monitoring. Softw. Syst. Model. 1\u201323 (2020)","DOI":"10.1007\/s10270-020-00780-y"},{"key":"829_CR43","doi-asserted-by":"crossref","unstructured":"Hojaji, F., Mayerhofer, T., Zamani, B., Hamou-Lhadj, A., Bousse, E.: Model execution tracing: a systematic mapping study. Softw. Syst. Model. (2019)","DOI":"10.1007\/s10270-019-00724-1"},{"key":"829_CR44","unstructured":"IBM: Rational Software Architect RealTime (RSARTE) edition, v9.5.0 product documentation. http:\/\/www.ibm.com\/support\/knowledgecenter\/SS5JSH_9.5.0. Accessed 19 Mar (2020)"},{"key":"829_CR45","unstructured":"Itemis, A.G.: Yakindu StateChart tools. https:\/\/www.itemis.com\/en\/yakindu\/statechart-tools. Accessed 19 July (2016)"},{"key":"829_CR46","doi-asserted-by":"publisher","unstructured":"Iyenghar, P., Westerkamp, C., Wuebbelmann, J., Pulvermueller, E.: A model based approach for debugging embedded systems in real-time. In: Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT \u201910, pp. 69\u201378. ACM, New York, NY, USA (2010). ISBN 978-1-60558-904-6. https:\/\/doi.org\/10.1145\/1879021.1879031. http:\/\/doi.acm.org\/10.1145\/1879021.1879031","DOI":"10.1145\/1879021.1879031"},{"key":"829_CR47","unstructured":"Iyenghar, P., Pulvermueller, E., Westerkamp, C., Uelschen, M., Wuebbelmann, J.: Model-based debugging of embedded software systems. Gesellschaft Informatik (GI)-Softwaretechnik (SWT) (2011)"},{"key":"829_CR48","doi-asserted-by":"crossref","unstructured":"Kahani, N., Hili, N., Cordy, J.R., Dingel, J.: Evaluation of UML-RT and Papyrus-RT for modelling self-adaptive systems. In: Proceedings of the 9th International Workshop on Modelling in Software Engineering, pp. 12\u201318. IEEE Press (2017)","DOI":"10.1109\/MiSE.2017.4"},{"key":"829_CR49","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0665-6","author":"N Kahani","year":"2018","unstructured":"Kahani, N., Bagherzadeh, M., Cordy, J.R., Dingel, J., Varr\u00f3, D.: Survey and classification of model transformation tools. Softw. Syst. Model. (2018). https:\/\/doi.org\/10.1007\/s10270-018-0665-6","journal-title":"Softw. Syst. Model."},{"key":"829_CR50","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon transformation language. In: International Conference on Theory and Practice of Model Transformations, pp. 46\u201360. Springer (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"829_CR51","doi-asserted-by":"crossref","unstructured":"Kubelka, J., Robbes, R., Bergel, A.: The road to live programming: insights from the practice. In: 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), pp. 1090\u20131101. IEEE (2018)","DOI":"10.1145\/3180155.3180200"},{"key":"829_CR52","volume-title":"State Models and Java Programs","author":"J Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: State Models and Java Programs. Wiley, New York (1999)"},{"key":"829_CR53","doi-asserted-by":"publisher","unstructured":"McDirmid, S.: Living it up with a live programming language. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications, OOPSLA \u201907, pp. 623\u2013638. ACM, New York, NY, USA (2007). ISBN 978-1-59593-786-5. https:\/\/doi.org\/10.1145\/1297027.1297073. http:\/\/doi.acm.org\/10.1145\/1297027.1297073","DOI":"10.1145\/1297027.1297073"},{"key":"829_CR54","doi-asserted-by":"crossref","unstructured":"McDirmid, S.: Usable live programming. In: Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, pp. 53\u201362. ACM (2013)","DOI":"10.1145\/2509578.2509585"},{"key":"829_CR55","unstructured":"McDirmid, S.: The promise of live programming. In: Proceedings of the 2nd International Workshop on Live Programming, LIVE, vol. 16 (2016)"},{"key":"829_CR56","unstructured":"Microsoft: C++ edit and continue in visual studio 2015. https:\/\/devblogs.microsoft.com\/cppblog\/c-edit-and-continue-in-visual-studio-2015\/. Accessed 19 Mar (2019)"},{"key":"829_CR57","unstructured":"Microsoft: How to use edit and continue (C#). https:\/\/docs.microsoft.com\/en-us\/visualstudio\/debugger\/how-to-use-edit-and-continue-csharp?view=vs-2019. Accessed 19 Mar (2019)"},{"key":"829_CR58","unstructured":"Modelica Association: The modelica language specification version 3.2 revision 2. https:\/\/www.modelica.org\/documents\/ModelicaSpec32Revision2.pdf. Accessed 5 Aug 2013 (2016)"},{"key":"829_CR59","unstructured":"Mustafiz, S., Vangheluwe, H.: Explicit modelling of statechart simulation environments. In: Summer Simulation Multiconference, pp. 445\u2013452. Society for Computer Simulation International (SCS) (2013)"},{"key":"829_CR60","unstructured":"Object Management Group: About the action language for foundational UML specification version 1.1. https:\/\/www.omg.org\/spec\/ALF\/About-ALF\/. Accessed 5 Aug 2018 (2016)"},{"key":"829_CR61","volume-title":"The Definitive ANTLR 4 Reference","author":"T Parr","year":"2013","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, Boston (2013)"},{"issue":"3","key":"829_CR62","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/MCSE.2007.53","volume":"9","author":"F P\u00e9rez","year":"2007","unstructured":"P\u00e9rez, F., Granger, B.E.: Ipython: a system for interactive scientific computing. Comput. Sci. Eng. 9(3), 21\u201329 (2007)","journal-title":"Comput. Sci. Eng."},{"issue":"6","key":"829_CR63","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/203241.203251","volume":"38","author":"M Petre","year":"1995","unstructured":"Petre, M.: Why looking isn\u2019t always seeing: readership skills and graphical programming. Commun. ACM 38(6), 33\u201344 (1995). https:\/\/doi.org\/10.1145\/203241.203251","journal-title":"Commun. ACM"},{"key":"829_CR64","doi-asserted-by":"crossref","unstructured":"Pop, A., Sj\u00f6lund, M., Asghar, A., Fritzson, P., Casella, F.: Static and dynamic debugging of modelica models. In: Proceedings of the 9th International MODELICA Conference, Number 076, pp. 443\u2013454. Link\u00f6ping University Electronic Press, Munich, Germany (2012)","DOI":"10.3384\/ecp12076443"},{"key":"829_CR65","unstructured":"Posse, E.: Papyrusrt: modelling and code generation. In: Workshop on Open Source for Model Driven Engineering (OSS4MDE\u201915) (2015)"},{"issue":"1","key":"829_CR66","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10270-014-0399-z","volume":"15","author":"E Posse","year":"2016","unstructured":"Posse, E., Dingel, J.: An executable formal semantics for UML-RT. Softw. Syst. Model. 15(1), 179\u2013217 (2016). https:\/\/doi.org\/10.1007\/s10270-014-0399-z","journal-title":"Softw. Syst. Model."},{"key":"829_CR67","unstructured":"Posse, E., De Lara, J., Vangheluwe, H., et al.: Processing causal block diagrams with graphgrammars in atom3. In: European Joint Conference on Theory and Practice of Software (ETAPS), Workshop on Applied Graph Transformation (AGT), pp. 23\u201334 (2002)"},{"key":"829_CR68","unstructured":"PRAGMADEV SARL: ProgmaDev. http:\/\/www.pragmadev.com. Accessed 19 July (2016)"},{"issue":"3","key":"829_CR69","doi-asserted-by":"publisher","first-page":"68","DOI":"10.2307\/3680767","volume":"15","author":"M Puckette","year":"1991","unstructured":"Puckette, M.: Combining event and signal processing in the max graphical programming environment. Comput. Music J. 15(3), 68\u201377 (1991)","journal-title":"Comput. Music J."},{"key":"829_CR70","unstructured":"Richard, S., Stan, S., Pesch, R.: Debugging with GDB. http:\/\/sourceware.org\/gdb\/current\/onlinedocs\/gdb.pdf.gz. Accessed 5 Aug (2016)"},{"key":"829_CR71","unstructured":"Schuster, C., Flanagan, C.: Live programming for event-based languages. In: Proceedings of the 2015 Reactive and Event-Based Languages and Systems Workshop, REBLS, vol. 15 (2015)"},{"key":"829_CR72","doi-asserted-by":"crossref","unstructured":"Selic, B.: Using UML for modeling complex real-time systems. In: Languages, Compilers, and Tools for Embedded Systems, pp. 250\u2013260. Springer (1998)","DOI":"10.1007\/BFb0057795"},{"key":"829_CR73","volume-title":"Real-Time Object-Oriented Modeling","author":"B Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling, vol. 2. Wiley, New York (1994)"},{"key":"829_CR74","doi-asserted-by":"crossref","unstructured":"Sj\u00f6lund, M., Casella, F., Pop, A., Asghar, A., Fritzson, P., Braun, W., Ochel, L., Bachmann, B.: Integrated debugging of equation-based models. In: Proceedings of the 10th International Modelica Conference, Number 096, pp. 195\u2013204. Link\u00f6ping University Electronic Press, Lund, Sweden (2014)","DOI":"10.3384\/ecp14096195"},{"issue":"7","key":"829_CR75","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W Swartout","year":"1982","unstructured":"Swartout, W., Balzer, R.: On the inevitable intertwining of specification and implementation. Commun. ACM 25(7), 438\u2013440 (1982)","journal-title":"Commun. ACM"},{"key":"829_CR76","unstructured":"Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Mierlo, S.V., Ergin, H.: AToMPM: a web-based modeling environment. In: Demos\/Posters\/Student Research MoDELS, pp. 21\u201325 (2013)"},{"key":"829_CR77","doi-asserted-by":"crossref","unstructured":"Taeumel, M., Perscheid, M., Steinert, B., Lincke, J., Hirschfeld, R.: Interleaving of modification and use in data-driven tool development. In: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, pp. 185\u2013200 (2014)","DOI":"10.1145\/2661136.2661150"},{"issue":"2","key":"829_CR78","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S1045-926X(05)80012-6","volume":"1","author":"SL Tanimoto","year":"1990","unstructured":"Tanimoto, S.L.: Viva: a visual language for image processing. J. Vis. Lang. Comput. 1(2), 127\u2013139 (1990). https:\/\/doi.org\/10.1016\/S1045-926X(05)80012-6","journal-title":"J. Vis. Lang. Comput."},{"key":"829_CR79","unstructured":"The LLDB Team: The LLDB debugger. https:\/\/lldb.llvm.org\/. Accessed 19 Mar (2020)"},{"key":"829_CR80","unstructured":"Thane, H., Daniel, S., Joel, H., Anders, P.: Replay debugging of real-time systems using time machines. In: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS\u201903), pp. 1\u20138. IEEE (2003)"},{"key":"829_CR81","unstructured":"The MathWorks, Inc.: Stateflow\u2014MATLAB & Simulink. http:\/\/www.mathworks.com\/products\/stateflow\/. Accessed 19 July (2016)"},{"key":"829_CR82","doi-asserted-by":"crossref","unstructured":"Tikhonova, U., Stoel, J., Der Storm, T.V., Degueule, T.: Constraint-based run-time state migration for live modeling. In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, pp. 108\u2013120. ACM (2018)","DOI":"10.1145\/3276604.3276611"},{"key":"829_CR83","unstructured":"Timing-Architects Embedded Systems GmbH: Timing architects. http:\/\/www.timing-architects.com\/. Accessed 19 July (2016)"},{"key":"829_CR84","unstructured":"Tendeloo, Y.V., Vangheluwe, H.: PythonPDEVS: a distributed parallel DEVS simulator. In: Proceedings of the Symposium on Theory of Modeling and Simulation M&S Symposium, pp. 91\u201398 (2015). ISBN 978-1-5108-0105-9"},{"key":"829_CR85","unstructured":"Van Mierlo, S.: A multi-paradigm modelling approach for engineering model debugging environments. Ph.D. thesis. University of Antwerp (2018)"},{"issue":"4","key":"829_CR86","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1177\/0037549716658360","volume":"93","author":"S Van Mierlo","year":"2017","unstructured":"Van Mierlo, S., Van Tendeloo, Y., Vangheluwe, H.: Debugging parallel DEVS. Simulation 93(4), 285\u2013306 (2017)","journal-title":"Simulation"},{"issue":"1","key":"829_CR87","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10270-017-0608-7","volume":"18","author":"R van Rozen","year":"2019","unstructured":"van Rozen, R., van der Storm, T.: Toward live domain-specific languages. Softw. Syst. Model. 18(1), 195\u2013212 (2019)","journal-title":"Softw. Syst. Model."},{"issue":"5","key":"829_CR88","doi-asserted-by":"publisher","first-page":"2821","DOI":"10.1007\/s10270-018-0700-7","volume":"18","author":"Y Van Tendeloo","year":"2019","unstructured":"Van Tendeloo, Y., Van Mierlo, S., Vangheluwe, H.: A multi-paradigm modelling approach to live modelling. Softw. Syst. Model. 18(5), 2821\u20132842 (2019)","journal-title":"Softw. Syst. Model."},{"key":"829_CR89","unstructured":"xtUML.org: xtUML\u2014eXecutable Translatable UML with BridgePoint. https:\/\/xtuml.org. Accessed 19 July (2016)"},{"key":"829_CR90","unstructured":"Zeng, K., Guo, Y., Angelov, C.K.: Graphical model debugger framework for embedded systems. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 87\u201392. European Design and Automation Association (2010)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00829-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00829-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00829-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T08:04:53Z","timestamp":1623830693000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00829-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,2]]},"references-count":90,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["829"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00829-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2020,11,2]]},"assertion":[{"value":"8 September 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 September 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}