{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:42:54Z","timestamp":1740141774715,"version":"3.37.3"},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,2,2]],"date-time":"2019-02-02T00:00:00Z","timestamp":1549065600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004937","name":"Bundesministerium f\u00fcr Forschung und Technologie","doi-asserted-by":"publisher","award":["01IS12005C"],"award-info":[{"award-number":["01IS12005C"]}],"id":[{"id":"10.13039\/501100004937","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":[[2019,12]]},"DOI":"10.1007\/s10270-019-00723-2","type":"journal-article","created":{"date-parts":[[2019,2,2]],"date-time":"2019-02-02T01:47:20Z","timestamp":1549072040000},"page":"3421-3459","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model"],"prefix":"10.1007","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9156-9731","authenticated-orcid":false,"given":"Marian","family":"Daun","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3357-5113","authenticated-orcid":false,"given":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,2]]},"reference":[{"key":"723_CR1","doi-asserted-by":"crossref","unstructured":"Sch\u00e4tz, B., Pretschner, A., Huber, F., Philipps, J.: Model-based development of embedded systems. In: Advances in Object-Oriented Information Systems, OOIS 2002 Workshops, Montpellier, France, 2 Sept 2002, Proceedings, vol. 2426, pp. 298\u2013312 (2002)","DOI":"10.1007\/3-540-46105-1_34"},{"key":"723_CR2","unstructured":"France, R.B., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, 23\u201325 May 2007, Minneapolis, MN, USA, pp. 37\u201354 (2007)"},{"issue":"2","key":"723_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"key":"723_CR4","unstructured":"ISO 26262-1: Road vehicles\u2014functional safety\u2014part 1: vocabulary (2011)"},{"key":"723_CR5","unstructured":"SAE International Standard 4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. SAE (1996)"},{"key":"723_CR6","unstructured":"ISO\/IEC\/IEEE 24765: ISO\/IEC\/IEEE international standard\u2014systems and software engineering: vocabulary, Aug 2017"},{"key":"723_CR7","unstructured":"Pretschner, A., Broy, M., Kr\u00fcger, I.H., Stauner, T.: Software engineering for automotive systems: a roadmap. In: International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, 23\u201325 May 2007, Minneapolis, MN, USA, pp. 55\u201371 (2007)"},{"key":"723_CR8","unstructured":"Jantsch, A., Sander, I.: On the roles of functions and objects in system specification. In: Proceedings of the Eighth International Workshop on Hardware\/Software Codesign, CODES 2000, San Diego, California, USA, 2000, pp. 8\u201312 (2000)"},{"key":"723_CR9","unstructured":"Daun, M., H\u00f6fflinger, J., Weyer, T.: Function-centered engineering of embedded systems evaluating industry needs and possible solutions. In: ENASE 2014 Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal, 28\u201330 Apr 2014, pp. 226\u2013234 (2014)"},{"key":"723_CR10","unstructured":"ISO\/IEC\/IEEE systems and software engineering\u2014architecture description. ISO\/IEC\/IEEE 42010:2011(E) (revision of ISO\/IEC 42010:2007 and IEEE Std 1471\u20132000), pp. 1\u201346, Dec 2011"},{"key":"723_CR11","unstructured":"ISO\/IEC TS 24748-1: Systems and software engineering\u2014life cycle management\u2014part 1: guidelines for life cycle management (2016)"},{"issue":"3","key":"723_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1109\/2.910904","volume":"34","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh, B.: Weaving together requirements and architectures. IEEE Comput. 34(3), 115\u2013117 (2001)","journal-title":"IEEE Comput."},{"key":"723_CR13","doi-asserted-by":"crossref","unstructured":"Whalen, M.W., Murugesan, A., Heimdahl, M.P.E.: Your what is my how: why requirements and architectural design should be iterative. In: First IEEE International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks@RE 2012, Chicago, IL, USA, 25 Sept 2012, pp. 36\u201340 (2012)","DOI":"10.1109\/TwinPeaks.2012.6344559"},{"key":"723_CR14","unstructured":"ISO\/IEC\/IEEE International Standard\u2014systems and software engineering\u2014life cycle processes: requirements engineering. ISO\/IEC\/IEEE 29148:2011(E), pp. 1\u201394, Dec (2011)"},{"key":"723_CR15","unstructured":"DOT\/FAA\/AR-08\/32: Requirements Engineering Management Handbook. U.S. Department of Transportation, Federal Aviation Administration, Springfield, Virginia, United States (2009)"},{"key":"723_CR16","unstructured":"Jeon, S.-U., Hong, J.-E., Bae, D.-H.: Interaction-based behavior modeling of embedded software using UML 2.0. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC\u201906), p. 5 (2006)"},{"key":"723_CR17","unstructured":"Weber, M., Weisbrod, J.: Requirements engineering in automotive development experiences and challenges. In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9\u201313 Sept 2002, Essen, Germany, pp. 331\u2013340 (2002)"},{"key":"723_CR18","unstructured":"ITU-T Z.120: Recommendation ITU-T Z.120: Message Sequence Chart (MSC). International Telecommunication Union (2011)"},{"issue":"3","key":"723_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1656250.1656252","volume":"19","author":"J Whittle","year":"2010","unstructured":"Whittle, J., Jayaraman, P.K.: Synthesizing hierarchical state machines from expressive scenario descriptions. ACM Trans. Softw. Eng. Methodol. 19(3), 1\u201345 (2010)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"723_CR20","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, New York, NY, USA, pp. 109\u2013120 (2001)","DOI":"10.1145\/503209.503226"},{"key":"723_CR21","first-page":"119","volume-title":"Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology","author":"K Albers","year":"2016","unstructured":"Albers, K., et al.: System function networks. In: Pohl, K., Broy, M., Daembkes, H., H\u00f6nninger, H. (eds.) Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology, pp. 119\u2013144. Springer, Berlin (2016)"},{"key":"723_CR22","volume-title":"Safeware\u2014System Safety and Computers: A Guide to Preventing Accidents and Losses Caused by Technology","author":"NG Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware\u2014System Safety and Computers: A Guide to Preventing Accidents and Losses Caused by Technology. Addison-Wesley, Reading (1995)"},{"key":"723_CR23","unstructured":"SAE International Standard J1239_200901: Potential failure mode and effects analysis in design (design FMEA), potential failure mode and effects analysis in manufacturing and assembly processes (process FMEA) (2009)"},{"issue":"2","key":"723_CR24","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00368702","volume":"1","author":"VR Basili","year":"1996","unstructured":"Basili, V.R., et al.: The empirical investigation of perspective-based reading. Empir. Softw. Eng. 1(2), 133\u2013164 (1996)","journal-title":"Empir. Softw. Eng."},{"issue":"7","key":"723_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/2.869376","volume":"33","author":"F Shull","year":"2000","unstructured":"Shull, F., Rus, I., Basili, V.R.: How perspective-based reading can improve requirements inspections. IEEE Comput. 33(7), 73\u201379 (2000)","journal-title":"IEEE Comput."},{"issue":"7","key":"723_CR26","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R Alur","year":"2003","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Softw. Eng. 29(7), 623\u2013633 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"723_CR27","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S Uchitel","year":"2003","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Trans. Softw. Eng. 29(2), 99\u2013115 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"723_CR28","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Behaviour model synthesis from properties and scenarios. Presented at the 29th International Conference on Software Engineering, 2007. ICSE 2007, pp. 34\u201343 (2007)","DOI":"10.1109\/ICSE.2007.21"},{"issue":"3","key":"723_CR29","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1109\/TSE.2008.107","volume":"35","author":"S Uchitel","year":"2009","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Synthesis of partial behavior models from properties and scenarios. IEEE Trans. Softw. Eng. 35(3), 384\u2013406 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"723_CR30","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2007","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Boston, Pearson (2007)","edition":"3"},{"issue":"3","key":"723_CR31","doi-asserted-by":"publisher","first-page":"970","DOI":"10.1016\/j.jcss.2011.08.008","volume":"78","author":"D Harel","year":"2012","unstructured":"Harel, D., Segall, I.: Synthesis from scenario-based specifications. J. Comput. Syst. Sci. 78(3), 970\u2013980 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"723_CR32","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation, 1st edn. Addison-Wesley Publishing Company, Reading (1979)","edition":"1"},{"issue":"4","key":"723_CR33","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1090\/S0002-9939-1958-0135681-9","volume":"9","author":"A Nerode","year":"1958","unstructured":"Nerode, A.: Linear automaton transformations. Proc. Am. Math. Soc. 9(4), 541\u2013544 (1958)","journal-title":"Proc. Am. Math. Soc."},{"key":"723_CR34","unstructured":"Brauer, W.: Automatentheorie: Eine Einf\u00fchrung in die Theorie endlicher Automaten. Softcover reprint of the original 1st edn. 1984. Vieweg\u2009+\u2009Teubner Verlag, Stuttgart (1984)"},{"key":"723_CR35","doi-asserted-by":"crossref","unstructured":"Sikora, E., Daun, M., Pohl, K.: Supporting the consistent specification of scenarios across multiple abstraction levels. In: Requirements Engineering: Foundation for Software Quality, 16th International Working Conference, REFSQ 2010, Essen, Germany, 30 June, 2 July 2010. Proceedings, vol. 6182, pp. 45\u201359 (2010)","DOI":"10.1007\/978-3-642-14192-8_6"},{"key":"723_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92293-3","volume-title":"QVT Operational Mappings: Modellierung mit der Query Views Transformation","author":"S Nolte","year":"2010","unstructured":"Nolte, S.: QVT Operational Mappings: Modellierung mit der Query Views Transformation. Springer, Berlin (2010)"},{"key":"723_CR37","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Object Management Group (2015)"},{"key":"723_CR38","doi-asserted-by":"crossref","unstructured":"Daun, M., Salmon, A., Weyer, T., Pohl, K.: The impact of students\u2019 skills and experiences on empirical results: a controlled experiment with undergraduate and graduate students. In: Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, EASE 2015, Nanjing, China, 27\u201329 Apr 2015, p. Paper 29 (2015)","DOI":"10.1145\/2745802.2745829"},{"key":"723_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering, 2012th edn. Springer, New York (2012)","edition":"2012"},{"key":"723_CR40","doi-asserted-by":"crossref","unstructured":"Salman, I., Misirli, A.T., Juzgado, N.J.: Are students representatives of professionals in software engineering experiments?. In: 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, 16\u201324 May 2015, vol. 1, pp. 666\u2013676 (2015)","DOI":"10.1109\/ICSE.2015.82"},{"key":"723_CR41","doi-asserted-by":"crossref","unstructured":"Siegmund, J., Siegmund, N., Apel, S.: Views on internal and external validity in empirical software engineering. In: 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, 16\u201324 May 2015, vol. 1, pp. 9\u201319 (2015)","DOI":"10.1109\/ICSE.2015.24"},{"key":"723_CR42","doi-asserted-by":"crossref","unstructured":"Berander, P.: Using students as subjects in requirements prioritization. In: 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 19\u201320 Aug 2004, Redondo Beach, CA, USA, pp. 167\u2013176 (2004)","DOI":"10.1109\/ISESE.2004.1334904"},{"issue":"3","key":"723_CR43","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1026586415054","volume":"5","author":"M H\u00f6st","year":"2000","unstructured":"H\u00f6st, M., Regnell, B., Wohlin, C.: Using students as subjects: a comparative study of students and professionals in lead-time impact assessment. Empir. Softw. Eng. 5(3), 201\u2013214 (2000)","journal-title":"Empir. Softw. Eng."},{"key":"723_CR44","doi-asserted-by":"crossref","unstructured":"Svahnberg, M., Aurum, A., Wohlin, C.: Using students as subjects an empirical evaluation. In: Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, ESEM 2008, 9\u201310 Oct 2008, Kaiserslautern, Germany, pp. 288\u2013290 (2008)","DOI":"10.1145\/1414004.1414055"},{"issue":"4","key":"723_CR45","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1023\/A:1009844119158","volume":"5","author":"WF Tichy","year":"2000","unstructured":"Tichy, W.F.: Hints for reviewing empirical work in software engineering. Empir. Softw. Eng. 5(4), 309\u2013312 (2000)","journal-title":"Empir. Softw. Eng."},{"issue":"2","key":"723_CR46","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1111\/j.1540-5915.2008.00192.x","volume":"39","author":"V Venkatesh","year":"2008","unstructured":"Venkatesh, V., Bala, H.: Technology acceptance model 3 and a research agenda on interventions. Decis. Sci. 39(2), 273\u2013315 (2008)","journal-title":"Decis. Sci."},{"key":"723_CR47","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-1-84800-044-5_8","volume-title":"Guide to Advanced Empirical Software Engineering","author":"A Jedlitschka","year":"2008","unstructured":"Jedlitschka, A., Ciolkowski, M., Pfahl, D.: Reporting experiments in software engineering. In: Shull, F., Singer, J., Sj\u00f8berg, D.I.K. (eds.) Guide to Advanced Empirical Software Engineering, pp. 201\u2013228. Springer, London (2008)"},{"issue":"4","key":"723_CR48","doi-asserted-by":"publisher","first-page":"337","DOI":"10.3102\/10769986005004337","volume":"5","author":"PH Ramsey","year":"1980","unstructured":"Ramsey, P.H.: Exact type 1 error rates for robustness of student\u2019s t test with unequal variances. J. Educ. Behav. Stat. 5(4), 337\u2013349 (1980)","journal-title":"J. Educ. Behav. Stat."},{"key":"723_CR49","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.C.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, USA, 21\u201328 May 2011, pp. 1\u201310 (2011)","DOI":"10.1145\/1985793.1985795"},{"key":"723_CR50","doi-asserted-by":"crossref","unstructured":"Kitchenham, B.: Robust statistical methods: why, what and how: keynote. In: Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, EASE 2015, Nanjing, China, 27\u201329 Apr 2015, p. Paper 1 (2015)","DOI":"10.1145\/2745802.2747956"},{"issue":"2","key":"723_CR51","doi-asserted-by":"publisher","first-page":"175","DOI":"10.3758\/BF03193146","volume":"39","author":"F Faul","year":"2007","unstructured":"Faul, F., Erdfelder, E., Lang, A., Buchner, A.: G*Power 3: a flexible statistical power analysis program for social, behavioral, and biomedical sciences. Behav. Res. Methods 39(2), 175\u2013191 (2007)","journal-title":"Behav. Res. Methods"},{"key":"723_CR52","volume-title":"Experimental and Quasi-Experimental Designs for Research","author":"DT Campbell","year":"1963","unstructured":"Campbell, D.T., Stanley, J.C.: Experimental and Quasi-Experimental Designs for Research. Houghton Mifflin, Boston (1963)"},{"key":"723_CR53","doi-asserted-by":"crossref","unstructured":"Daun, M., Brings, J., Weyer, T.: On the impact of the model-based representation of inconsistencies to manual reviews. In: Conceptual Modeling, pp. 466\u2013473 (2017)","DOI":"10.1007\/978-3-319-69904-2_35"},{"issue":"1","key":"723_CR54","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"BW Boehm","year":"2001","unstructured":"Boehm, B.W., Basili, V.R.: Software defect reduction top 10 list. IEEE Comput. 34(1), 135\u2013137 (2001)","journal-title":"IEEE Comput."},{"key":"723_CR55","volume-title":"Software Inspection","author":"T Gilb","year":"1993","unstructured":"Gilb, T., Graham, D., Finzi, S.: Software Inspection. Addison-Wesley, Wokingham (1993)"},{"issue":"7","key":"723_CR56","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1109\/TSE.1986.6312976","volume":"12","author":"ME Fagan","year":"1986","unstructured":"Fagan, M.E.: Advances in software inspections. IEEE Trans. Softw. Eng. 12(7), 744\u2013751 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"723_CR57","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1109\/32.391380","volume":"21","author":"AA Porter","year":"1995","unstructured":"Porter, A.A., Votta, L.G., Basili, V.R.: Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Trans. Softw. Eng. 21(6), 563\u2013575 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"723_CR58","unstructured":"Abdelnabi, Z., Cantone, G., Ciolkowski, M., Rombach, H.D.: Comparing code reading techniques applied to object-oriented software frameworks with regard to effectiveness and defect detection rate. In: 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 19\u201320 Aug 2004, Redondo Beach, CA, USA, pp. 239\u2013248 (2004)"},{"key":"723_CR59","unstructured":"Shull, F., et al.: What we have learned about fighting defects. In: 8th IEEE International Software Metrics Symposium (METRICS 2002), 4\u20137 June 2002, Ottawa, Canada, pp. 249\u2013258 (2002)"},{"key":"723_CR60","doi-asserted-by":"crossref","unstructured":"Denger, C., Ciolkowski, M.: High quality statecharts through tailored, perspective-based inspections. In: 2003 Proceedings 29th Euromicro Conference, pp. 316\u2013323 (2003)","DOI":"10.1109\/EURMIC.2003.1231608"},{"key":"723_CR61","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"RV Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, Reading (1999)"},{"key":"723_CR62","doi-asserted-by":"crossref","unstructured":"Travassos, G., Shull, F., Fredericks, M., Basili, V.R.: Detecting defects in object-oriented designs: using reading techniques to increase software quality. In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA\u201999), Denver, Colorado, USA, 1\u20135 Nov 1999, pp. 47\u201356 (1999)","DOI":"10.1145\/320385.320389"},{"issue":"5","key":"723_CR63","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1109\/TSE.2011.102","volume":"38","author":"S Liu","year":"2012","unstructured":"Liu, S., Chen, Y., Nagoya, F., McDermid, J.A.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 38(5), 1100\u20131122 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"723_CR64","unstructured":"Gotel, O.C.Z., Finkelstein, A.: An analysis of the requirements traceability problem. In: Proceedings of the First IEEE International Conference on Requirements Engineering, ICRE\u201994, Colorado Springs, Colorado, USA, 18\u201321 Apr 1994, pp. 94\u2013101 (1994)"},{"issue":"4","key":"723_CR65","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","volume":"9","author":"S Winkler","year":"2010","unstructured":"Winkler, S., von Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. Softw. Syst. Model. 9(4), 529\u2013565 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"11","key":"723_CR66","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1592761.1592781","volume":"52","author":"EM Clarke","year":"2009","unstructured":"Clarke, E.M., Emerson, E.A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52(11), 74\u201384 (2009)","journal-title":"Commun. ACM"},{"key":"723_CR67","doi-asserted-by":"crossref","unstructured":"Larsen, K.G.: Efficient local correctness checking. In: Computer Aided Verification, Fourth International Workshop, CAV\u201992, Montreal, Canada, 29 June 1 July 1992, Proceedings, vol. 663, pp. 30\u201343 (1993)","DOI":"10.1007\/3-540-56496-9_4"},{"issue":"5","key":"723_CR68","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"723_CR69","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, 10\u201318 May 2008, pp. 511\u2013520 (2008)"},{"issue":"11","key":"723_CR70","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/32.730545","volume":"24","author":"JC Grundy","year":"1998","unstructured":"Grundy, J.C., Hosking, J.G., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng. 24(11), 960\u2013981 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"723_CR71","doi-asserted-by":"crossref","unstructured":"Fradet, P., Le M\u00e9tayer, D., P\u00e9rin, M.: Consistency checking for multiple view software architectures. In: Software Engineering ESEC\/FSE\u201999, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, Sept 1999, Proceedings, vol. 1687, pp. 410\u2013428 (1999)","DOI":"10.1007\/3-540-48166-4_25"},{"key":"723_CR72","unstructured":"Borges, R.V., d\u2019Avila Garcez, A.S., Lamb, L.C.: Integrating model verification and self-adaptation. In: ASE 2010, 25th IEEE\/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, 20\u201324 Sept 2010, pp. 317\u2013320 (2010)"},{"issue":"3","key":"723_CR73","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1243987.1243989","volume":"16","author":"RF Paige","year":"2007","unstructured":"Paige, R.F., Brooke, P.J., Ostroff, J.S.: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3), 11 (2007)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"4","key":"723_CR74","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/TSE.2002.995438","volume":"28","author":"D Milicev","year":"2002","unstructured":"Milicev, D.: Automatic model transformations using extended UML object diagrams in modeling environments. IEEE Trans. Softw. Eng. 28(4), 413\u2013430 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"723_CR75","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H Giese","year":"2009","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"key":"723_CR76","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, 1\u20136 Oct 2006, Proceedings, vol. 4199, pp. 543\u2013557 (2006)","DOI":"10.1007\/11880240_38"},{"issue":"1","key":"723_CR77","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s10270-012-0309-1","volume":"14","author":"F Hermann","year":"2015","unstructured":"Hermann, F., et al.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1), 241\u2013269 (2015)","journal-title":"Softw. Syst. Model."},{"key":"723_CR78","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Neumann, S.: Model synchronization at work: keeping SysML and AUTOSAR models consistent. In: Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, vol. 5765, pp. 555\u2013579 (2010)","DOI":"10.1007\/978-3-642-17322-6_24"},{"key":"723_CR79","doi-asserted-by":"crossref","unstructured":"Damas, C., Lambeau, B., Roucoux, F., van Lamsweerde, A.: Analyzing critical process models through behavior model synthesis. In: 31st International Conference on Software Engineering, ICSE 2009, 16\u201324 May 2009, Vancouver, Canada, Proceedings, pp. 441\u2013451 (2009)","DOI":"10.1109\/ICSE.2009.5070543"},{"key":"723_CR80","doi-asserted-by":"crossref","unstructured":"van Paesschen, E., Meuter, W.D., D\u2019Hondt, M.: SelfSync: a dynamic round-trip engineering environment. In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, 2\u20137 Oct 2005, Proceedings, vol. 3713, pp. 633\u2013647 (2005)","DOI":"10.1007\/11557432_47"},{"issue":"1","key":"723_CR81","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/TSE.2009.51","volume":"36","author":"I Malavolta","year":"2010","unstructured":"Malavolta, I., Muccini, H., Pelliccione, P., Tamburri, D.A.: Providing architectural languages and tools interoperability through model transformation technologies. IEEE Trans. Softw. Eng. 36(1), 119\u2013140 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"723_CR82","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1109\/TSE.2009.56","volume":"36","author":"D Kimelman","year":"2010","unstructured":"Kimelman, D., Kimelman, M., Mandelin, D., Yellin, D.M.: Bayesian approaches to matching architectural diagrams. IEEE Trans. Softw. Eng. 36(2), 248\u2013274 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"723_CR83","unstructured":"Agrawal, A.: Graph rewriting and transformation (GReAT): a solution for the model integrated computing (MIC) bottleneck. In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6\u201310 Oct 2003, Montreal, Canada, pp. 364\u2013368 (2003)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00723-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00723-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00723-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,11]],"date-time":"2022-09-11T09:06:54Z","timestamp":1662887214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00723-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,2]]},"references-count":83,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["723"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00723-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2019,2,2]]},"assertion":[{"value":"24 August 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 December 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 February 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}