{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:57:09Z","timestamp":1760587029667,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":70,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,29]]},"DOI":"10.1145\/3379597.3387452","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T02:12:49Z","timestamp":1600481569000},"page":"362-373","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Painting Flowers"],"prefix":"10.1145","author":[{"given":"Nan","family":"Yang","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Cuijpers","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Schiffelers","sequence":"additional","affiliation":[{"name":"ASML, Eindhoven University of Technology, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Lukkien","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2014. FDR homepage. http:\/\/www.fsel.com.  2014. FDR homepage. http:\/\/www.fsel.com."},{"volume-title":"Process mining: discovery, conformance and enhancement of business processes","author":"van der Aalst Wil M.P.","key":"e_1_3_2_1_2_1","unstructured":"Wil M.P. van der Aalst . 2011. Process mining: discovery, conformance and enhancement of business processes . Vol. 2 . Springer . Wil M.P. van der Aalst. 2011. Process mining: discovery, conformance and enhancement of business processes. Vol. 2. Springer."},{"volume-title":"The elements of UML \u21222.0 style","author":"Ambler Scott W.","key":"e_1_3_2_1_3_1","unstructured":"Scott W. Ambler . 2005. The elements of UML \u21222.0 style . Cambridge University Press . Scott W. Ambler. 2005. The elements of UML \u21222.0 style. Cambridge University Press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2414917"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.06.047"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1998.693342"},{"volume-title":"MODELS Workshops. 6--11","author":"Aslam Kousar","key":"e_1_3_2_1_7_1","unstructured":"Kousar Aslam , Yaping Luo , Ramon R. H. Schiffelers , and Mark G.J . van den Brand. 2018. Interface protocol inference to aid understanding legacy software components .. In MODELS Workshops. 6--11 . Kousar Aslam, Yaping Luo, Ramon R. H. Schiffelers, and Mark G.J. van den Brand. 2018. Interface protocol inference to aid understanding legacy software components.. In MODELS Workshops. 6--11."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_2_1_9_1","volume-title":"Tcl\/Tk Workshop. 43","author":"Beazley David M.","year":"1996","unstructured":"David M. Beazley . 1996 . SWIG: An Easy to Use Tool for Integrating Scripting Languages with C and C++ .. In Tcl\/Tk Workshop. 43 . David M. Beazley. 1996. SWIG: An Easy to Use Tool for Integrating Scripting Languages with C and C++.. In Tcl\/Tk Workshop. 43."},{"key":"e_1_3_2_1_10_1","volume-title":"John H\u00e5kansson, Paul Pettersson, Wang Yi, and Martijn Hendriks.","author":"Behrmann Gerd","year":"2006","unstructured":"Gerd Behrmann , Alexandre David , Kim Guldstrand Larsen , John H\u00e5kansson, Paul Pettersson, Wang Yi, and Martijn Hendriks. 2006 . Uppaal 4.0. (2006). Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John H\u00e5kansson, Paul Pettersson, Wang Yi, and Martijn Hendriks. 2006. Uppaal 4.0. (2006)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1177\/1473325010370189"},{"key":"e_1_3_2_1_12_1","volume-title":"Analyzing the Eclipse API Usage: Putting the Developer in the Loop. In 17th European Conference on Software Maintenance and Reengineering, CSMR 2013","author":"Businge John","year":"2013","unstructured":"John Businge , Alexander Serebrenik , and Mark G.J . van den Brand. 2013 . Analyzing the Eclipse API Usage: Putting the Developer in the Loop. In 17th European Conference on Software Maintenance and Reengineering, CSMR 2013 , Genova, Italy , March 5-8, 2013 . IEEE Computer Society, 37--46. John Businge, Alexander Serebrenik, and Mark G.J. van den Brand. 2013. Analyzing the Eclipse API Usage: Putting the Developer in the Loop. In 17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, 2013. IEEE Computer Society, 37--46."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.12.038"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0278-4"},{"key":"e_1_3_2_1_15_1","volume-title":"Modular Supervisory Control with Priorities for Discrete Event Systems. In 34th Conference on Decision and Control. IEEE, 409--415","author":"Chen Yi-Liang","year":"1995","unstructured":"Yi-Liang Chen and St\u00e9phane Lafortune . 1995 . Modular Supervisory Control with Priorities for Discrete Event Systems. In 34th Conference on Decision and Control. IEEE, 409--415 . Yi-Liang Chen and St\u00e9phane Lafortune. 1995. Modular Supervisory Control with Priorities for Discrete Event Systems. In 34th Conference on Decision and Control. IEEE, 409--415."},{"volume-title":"Informatics","author":"Clarke Edmund","key":"e_1_3_2_1_16_1","unstructured":"Edmund Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , and Helmut Veith . 2001. Progress on the state explosion problem in model checking . In Informatics . Springer , 176--194. Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. 2001. Progress on the state explosion problem in model checking. In Informatics. Springer, 176--194."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851613.2851645"},{"key":"e_1_3_2_1_18_1","volume-title":"Barabara Haley Wixom, and David Tegarden","author":"Dennis Alan","year":"2009","unstructured":"Alan Dennis , Barabara Haley Wixom, and David Tegarden . 2009 . Systems Analysis and Design UML Version 2.0. Wiley . Alan Dennis, Barabara Haley Wixom, and David Tegarden. 2009. Systems Analysis and Design UML Version 2.0. Wiley."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.33"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/INNOVATIONS.2012.6207775"},{"volume-title":"Guide to advanced empirical software engineering","author":"Easterbrook Steve","key":"e_1_3_2_1_22_1","unstructured":"Steve Easterbrook , Janice Singer , Margaret-Anne Storey , and Daniela Damian . 2008. Selecting empirical methods for software engineering research . In Guide to advanced empirical software engineering . Springer , 285--311. Steve Easterbrook, Janice Singer, Margaret-Anne Storey, and Daniela Damian. 2008. Selecting empirical methods for software engineering research. In Guide to advanced empirical software engineering. Springer, 285--311."},{"key":"e_1_3_2_1_23_1","unstructured":"Ecore. [n.d.]. https:\/\/www.eclipse.org\/modeling\/emf\/.  Ecore. [n.d.]. https:\/\/www.eclipse.org\/modeling\/emf\/."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_39"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.2307\/2340521"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646151.679366"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693106"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27869-8_7"},{"key":"e_1_3_2_1_29_1","volume-title":"ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings (Lecture Notes in Computer Science), Claus Pahl, Maja Vukovic, Jianwei Yin, and Qi Yu (Eds.)","volume":"11236","author":"Gupta Monika","year":"2018","unstructured":"Monika Gupta , Atri Mandal , Gargi Dasgupta , and Alexander Serebrenik . 2018 . Runtime Monitoring in Continuous Deployment by Differencing Execution Behavior Model. In Service-Oriented Computing - 16th International Conference , ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings (Lecture Notes in Computer Science), Claus Pahl, Maja Vukovic, Jianwei Yin, and Qi Yu (Eds.) , Vol. 11236 . Springer, 812--827. https:\/\/doi.org\/10.1007\/978-3-030-03596-9_58 10.1007\/978-3-030-03596-9_58 Monika Gupta, Atri Mandal, Gargi Dasgupta, and Alexander Serebrenik. 2018. Runtime Monitoring in Continuous Deployment by Differencing Execution Behavior Model. In Service-Oriented Computing - 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings (Lecture Notes in Computer Science), Claus Pahl, Maja Vukovic, Jianwei Yin, and Qi Yu (Eds.), Vol. 11236. Springer, 812--827. https:\/\/doi.org\/10.1007\/978-3-030-03596-9_58"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.03.017"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985858"},{"volume-title":"Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems. 213--223","author":"Jolak Rodi","key":"e_1_3_2_1_32_1","unstructured":"Rodi Jolak , Truong Ho-Quang , Michel R.V. Chaudron , and Ramon R. H. Schiffelers . 2018. Model-based software engineering: A multiple-case study on challenges and development efforts . In Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems. 213--223 . Rodi Jolak, Truong Ho-Quang, Michel R.V. Chaudron, and Ramon R. H. Schiffelers. 2018. Model-based software engineering: A multiple-case study on challenges and development efforts. In Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems. 213--223."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19990602"},{"key":"e_1_3_2_1_34_1","volume-title":"10th International Workshop (Lecture Notes in Computer Science), Matthias Klusch, Michael Rovatsos, and Terry R. Payne (Eds.)","volume":"4149","author":"Kronlid Fredrik","year":"2006","unstructured":"Fredrik Kronlid . 2006 . Turn Taking for Artificial Conversational Agents. In Cooperative Information Agents X , 10th International Workshop (Lecture Notes in Computer Science), Matthias Klusch, Michael Rovatsos, and Terry R. Payne (Eds.) , Vol. 4149 . Springer, 81--95. Fredrik Kronlid. 2006. Turn Taking for Artificial Conversational Agents. In Cooperative Information Agents X, 10th International Workshop (Lecture Notes in Computer Science), Matthias Klusch, Michael Rovatsos, and Terry R. Payne (Eds.), Vol. 4149. Springer, 81--95."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.10.017"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Christian F.J. Lange Michel R.V. Chaudron and Johan Muskens. 2006. In practice: UML software architecture and design description. IEEE software 23 2 (2006) 40--46.  Christian F.J. Lange Michel R.V. Chaudron and Johan Muskens. 2006. In practice: UML software architecture and design description. IEEE software 23 2 (2006) 40--46.","DOI":"10.1109\/MS.2006.50"},{"key":"e_1_3_2_1_37_1","volume-title":"General LTL Specification Mining. In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 81--92","author":"Lemieux Caroline","year":"2015","unstructured":"Caroline Lemieux , Dennis Park , and Ivan Beschastnikh . 2015 . General LTL Specification Mining. In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 81--92 . Caroline Lemieux, Dennis Park, and Ivan Beschastnikh. 2015. General LTL Specification Mining. In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 81--92."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_11"},{"volume-title":"Mining software specifications: methodologies and applications","author":"Lo David","key":"e_1_3_2_1_39_1","unstructured":"David Lo , Siau-Cheng Khoo , Jiawei Han , and Chao Liu . 2011. Mining software specifications: methodologies and applications . CRC Press . David Lo, Siau-Cheng Khoo, Jiawei Han, and Chao Liu. 2011. Mining software specifications: methodologies and applications. CRC Press."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2005.32"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement, IWSM-Mensura 2017","author":"Mengerink Josh","year":"2017","unstructured":"Josh Mengerink , Alexander Serebrenik , Ramon R. H. Schiffelers , and Mark G. J . van den Brand. 2017. Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE . In Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement, IWSM-Mensura 2017 , Gothenburg, Sweden , October 25-27, 2017 , Miroslaw Staron and Wilhelm Meding (Eds.). ACM, 116--121. https:\/\/doi.org\/10.1145\/3143434.3143442 10.1145\/3143434.3143442 Josh Mengerink, Alexander Serebrenik, Ramon R. H. Schiffelers, and Mark G. J. van den Brand. 2017. Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE. In Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement, IWSM-Mensura 2017, Gothenburg, Sweden, October 25-27, 2017, Miroslaw Staron and Wilhelm Meding (Eds.). ACM, 116--121. https:\/\/doi.org\/10.1145\/3143434.3143442"},{"volume-title":"Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement. ACM, 116--121","author":"Mengerink Josh G. M.","key":"e_1_3_2_1_42_1","unstructured":"Josh G. M. Mengerink , Alexander Serebrenik , Ramon R. H. Schiffelers , and Mark G. J . van den Brand. 2017. Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE . In Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement. ACM, 116--121 . Josh G. M. Mengerink, Alexander Serebrenik, Ramon R. H. Schiffelers, and Mark G. J. van den Brand. 2017. Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE. In Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement. ACM, 116--121."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_31"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9196-x"},{"key":"e_1_3_2_1_45_1","volume-title":"Chaudron","author":"Nurwidyantoro Arif","year":"2019","unstructured":"Arif Nurwidyantoro , Truong Ho-Quang , and Michel R. V . Chaudron . 2019 . Automated classification of class role-stereotypes via machine learning. In Proceedings of the Evaluation and Assessment on Software Engineering. ACM , 79--88. Arif Nurwidyantoro, Truong Ho-Quang, and Michel R. V. Chaudron. 2019. Automated classification of class role-stereotypes via machine learning. In Proceedings of the Evaluation and Assessment on Software Engineering. ACM, 79--88."},{"key":"e_1_3_2_1_46_1","volume-title":"Francesca Arcelli Fontana, Rocco Oliveto, Andy Zaidman, and Alexander Serebrenik.","author":"Palomba Fabio","year":"2018","unstructured":"Fabio Palomba , Damian Andrew Tamburri , Francesca Arcelli Fontana, Rocco Oliveto, Andy Zaidman, and Alexander Serebrenik. 2018 . Beyond Technical Aspects: How Do Community Smells Influence the Intensity of Code Smells? IEEE Transactions on Software Engineering ( 2018), 1--1. https:\/\/doi.org\/10.1109\/TSE.2018.2883603 10.1109\/TSE.2018.2883603 Fabio Palomba, Damian Andrew Tamburri, Francesca Arcelli Fontana, Rocco Oliveto, Andy Zaidman, and Alexander Serebrenik. 2018. Beyond Technical Aspects: How Do Community Smells Influence the Intensity of Code Smells? IEEE Transactions on Software Engineering (2018), 1--1. https:\/\/doi.org\/10.1109\/TSE.2018.2883603"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265734"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239400"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2019.00024"},{"key":"e_1_3_2_1_51_1","volume-title":"Guidelines for conducting and reporting case study research in software engineering. Empirical software engineering 14, 2","author":"Runeson Per","year":"2009","unstructured":"Per Runeson and Martin H\u00f6st . 2009. Guidelines for conducting and reporting case study research in software engineering. Empirical software engineering 14, 2 ( 2009 ), 131. Per Runeson and Martin H\u00f6st. 2009. Guidelines for conducting and reporting case study research in software engineering. Empirical software engineering 14, 2 (2009), 131."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_5"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884833"},{"key":"e_1_3_2_1_55_1","unstructured":"syntok. 2014. https:\/\/github.com\/fnl\/syntok.  syntok. 2014. https:\/\/github.com\/fnl\/syntok."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9219-7"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2060329.2060354"},{"key":"e_1_3_2_1_58_1","unstructured":"Natural Language Tookkit. 2014. https:\/\/www.nltk.org\/.  Natural Language Tookkit. 2014. https:\/\/www.nltk.org\/."},{"volume-title":"2019 IEEE International Systems Conference (SysCon). IEEE, 1--8.","author":"Torres Weslley","key":"e_1_3_2_1_59_1","unstructured":"Weslley Torres , Mark G.J. van den Brand, and Alexander Serebrenik. 2019. Model management tools for models of different domains: a systematic literature review . In 2019 IEEE International Systems Conference (SysCon). IEEE, 1--8. Weslley Torres, Mark G.J. van den Brand, and Alexander Serebrenik. 2019. Model management tools for models of different domains: a systematic literature review. In 2019 IEEE International Systems Conference (SysCon). IEEE, 1--8."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2653105"},{"key":"e_1_3_2_1_61_1","volume-title":"International Conference on Model Driven Engineering Languages and Systems. Springer, 35--47","author":"Der Straeten Ragnhild Van","year":"2008","unstructured":"Ragnhild Van Der Straeten , Tom Mens , and Stefan Van Baelen . 2008 . Challenges in model-driven software engineering . In International Conference on Model Driven Engineering Languages and Systems. Springer, 35--47 . Ragnhild Van Der Straeten, Tom Mens, and Stefan Van Baelen. 2008. Challenges in model-driven software engineering. In International Conference on Model Driven Engineering Languages and Systems. Springer, 35--47."},{"key":"e_1_3_2_1_62_1","unstructured":"Verum. 2014. http:\/\/www.verum.com.  Verum. 2014. http:\/\/www.verum.com."},{"key":"e_1_3_2_1_63_1","first-page":"3","article-title":"Process Discovery using Integer Linear Programming","volume":"94","author":"van der Werf Jan Martijn E. M.","year":"2009","unstructured":"Jan Martijn E. M. van der Werf , Boudewijn F. van Dongen , Cor A. J. Hurkens , and Alexander Serebrenik . 2009 . Process Discovery using Integer Linear Programming . Fundam. Inform. 94 , 3 - 4 (2009), 387--412. https:\/\/doi.org\/10.3233\/FI-2009-136 10.3233\/FI-2009-136 Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, and Alexander Serebrenik. 2009. Process Discovery using Integer Linear Programming. Fundam. Inform. 94, 3-4 (2009), 387--412. https:\/\/doi.org\/10.3233\/FI-2009-136","journal-title":"Fundam. Inform."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_1"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.65"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2017.71"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6080817"},{"volume-title":"Philosophical investigations","author":"Wittgenstein Ludwig","key":"e_1_3_2_1_68_1","unstructured":"Ludwig Wittgenstein . 2009. Philosophical investigations . John Wiley & Sons . Ludwig Wittgenstein. 2009. Philosophical investigations. John Wiley & Sons."},{"volume-title":"2010 10th International Conference on Application of Concurrency to System Design. IEEE, 47--56","author":"Xing Jiansheng","key":"e_1_3_2_1_69_1","unstructured":"Jiansheng Xing , Bart D. Theelen , Rom Langerak , Jaco van de Pol, Jan Tretmans, and Jeroen P.M. Voeten. 2010. From POOSL to UPPAAL: Transformation and quantitative analysis . In 2010 10th International Conference on Application of Concurrency to System Design. IEEE, 47--56 . Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, and Jeroen P.M. Voeten. 2010. From POOSL to UPPAAL: Transformation and quantitative analysis. In 2010 10th International Conference on Application of Concurrency to System Design. IEEE, 47--56."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668007"},{"key":"e_1_3_2_1_71_1","volume-title":"Design and methods. Case study research 3","author":"Yin Robert K.","year":"2003","unstructured":"Robert K. Yin . 2003. Design and methods. Case study research 3 ( 2003 ). Robert K. Yin. 2003. Design and methods. Case study research 3 (2003)."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.79"}],"event":{"name":"MSR '20: 17th International Conference on Mining Software Repositories","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGKDD ACM Special Interest Group on Knowledge Discovery in Data"],"location":"Seoul Republic of Korea","acronym":"MSR '20"},"container-title":["Proceedings of the 17th International Conference on Mining Software Repositories"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3379597.3387452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3379597.3387452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:20Z","timestamp":1750200080000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3379597.3387452"}},"subtitle":["Reasons for Using Single-State State Machines in Model-Driven Engineering"],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":70,"alternative-id":["10.1145\/3379597.3387452","10.1145\/3379597"],"URL":"https:\/\/doi.org\/10.1145\/3379597.3387452","relation":{},"subject":[],"published":{"date-parts":[[2020,6,29]]},"assertion":[{"value":"2020-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}