{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T05:08:56Z","timestamp":1773896936910,"version":"3.50.1"},"publisher-location":"Cham","reference-count":68,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030349677","type":"print"},{"value":"9783030349684","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-34968-4_1","type":"book-chapter","created":{"date-parts":[[2019,11,22]],"date-time":"2019-11-22T00:14:54Z","timestamp":1574381694000},"page":"3-24","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":56,"title":["The Digital Thread in Industry 4.0"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Schieweck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,22]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: 15th International Software Product Line Conference (SPLC 2011), pp. 130\u2013139 (2011)","DOI":"10.1109\/SPLC.2011.34"},{"key":"1_CR2","unstructured":"Bacchiega, G.: Creating an embedded digital twin: monitor, understand and predict device health failure. In: Inn4mech - Mechatronics and Industry 4.0 Conference Presentation (2018). https:\/\/irsweb.it\/pdf\/Embedded_Digital%20Twin_v2.pdf"},{"key":"1_CR3","unstructured":"Bakera, M., Margaria, T., Renner, C., Steffen, B.: Verification, diagnosis and adaptation: tool-supported enhancement of the model-driven verification process. In: Revue des Nouvelles Technologies de l\u2019Information (RNTI-SM-1), pp. 85\u201398, December 2007"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s11334-009-0091-6","volume":"5","author":"M Bakera","year":"2009","unstructured":"Bakera, M., Margaria, T., Renner, C., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5, 211\u2013228 (2009). https:\/\/doi.org\/10.1007\/s11334-009-0091-6","journal-title":"Innov. Syst. Softw. Eng."},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"1_CR6","unstructured":"Braun, V., Margaria, T., Steffen, B., Yoo, H., Rychly, T.: Safe service customization. In: Intelligent Network Workshop, IN 1997, vol. 2, p. 4. IEEE, May 1997"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Buckley, J., Rosik, J., Herold, S., Wasala, A., Botterweck, G., Exton, C.: FLINTS: a tool for architectural-level modeling of features in software systems. In: Proceedings of the 10th European Conference on Software Architecture Workshops, ECSAW 2016, pp. 14:1\u201314:7. ACM, New York (2016). https:\/\/doi.org\/10.1145\/2993412.3003390","DOI":"10.1145\/2993412.3003390"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-30481-4_12","volume-title":"Web Information Systems - WISE 2004 Workshops WISE 2004","author":"MB Chhetri","year":"2004","unstructured":"Chhetri, M.B., Krishnaswamy, S., Loke, S.W.: Smart virtual counterparts for learning communities. In: Bussler, C., et al. (eds.) Web Information Systems - WISE 2004 Workshops WISE 2004. LNCS, vol. 3307, pp. 125\u2013134. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30481-4_12"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, pp. 335\u2013344. ACM, New York (2010). https:\/\/doi.org\/10.1145\/1806799.1806850","DOI":"10.1145\/1806799.1806850"},{"key":"1_CR10","unstructured":"Codeless, Platforms: Codeless platforms homepage. Technical report, ex Orbis Software (2019). https:\/\/www.codelessplatforms.com"},{"key":"1_CR11","unstructured":"Dmitriev, S.: Language oriented programming: the next programming paradigm. JetBrains onBoard Online Magazine(2004). http:\/\/www.onboard.jetbrains.com\/is1\/articles\/04\/10\/lop\/"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-030-03418-4_33","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"F Gossen","year":"2018","unstructured":"Gossen, F., Margaria, T., Murtovi, A., Naujokat, S., Steffen, B.: DSLs for decision services: a tutorial introduction to language-driven engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 546\u2013564. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_33"},{"key":"1_CR13","unstructured":"Gould, L.S.: What are digital twins and digital threads? (2018)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-00244-2_2","volume-title":"Formal Methods for Industrial Critical Systems","author":"S Graf","year":"2018","unstructured":"Graf, S., Quinton, S., Girault, A., G\u00f6ssler, G.: Building correct cyber-physical systems: why we need a multiview contract theory. In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 19\u201331. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00244-2_2"},{"key":"1_CR15","first-page":"1033","volume":"55","author":"A Hagerer","year":"2001","unstructured":"Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.D.: Efficient regression testing of CTI-systems: testing a complex call-center solution. Ann. Rev. Commun. Int. Eng. Consortium (IEC) 55, 1033\u20131040 (2001)","journal-title":"Ann. Rev. Commun. Int. Eng. Consortium (IEC)"},{"key":"1_CR16","first-page":"65","volume":"8","author":"B Jonsson","year":"2001","unstructured":"Jonsson, B., Margaria, T., Naeser, G., Nystr\u00f6m, J., Steffen, B.: Incremental requirement specification for evolving systems. Nordic J. Comput. 8, 65\u201387 (2001). http:\/\/dl.acm.org\/citation.cfm?id=774194.774199","journal-title":"Nordic J. Comput."},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36127-2","volume-title":"Construction and Evolution of Code Generators","author":"S J\u00f6rges","year":"2013","unstructured":"J\u00f6rges, S.: Construction and Evolution of Code Generators. LNCS, vol. 7747. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36127-2"},{"issue":"5","key":"1_CR18","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s10009-012-0254-x","volume":"14","author":"S J\u00f6rges","year":"2012","unstructured":"J\u00f6rges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. (STTT) 14(5), 511\u2013530 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s11334-008-0071-2","volume":"4","author":"S J\u00f6rges","year":"2008","unstructured":"J\u00f6rges, S., Margaria, T., Steffen, B.: Genesys: service-oriented construction of property conform code generators. Innov. Syst. Softw. Eng. 4(4), 361\u2013384 (2008)","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2005.12.049","volume":"157","author":"M Karusseit","year":"2006","unstructured":"Karusseit, M., Margaria, T.: Feature-based modelling of a complex, online-reconfigurable decision support service. Electron. Notes Theor. Comput. Sci. 157(2), 101\u2013118 (2006). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066106002489","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"1_CR21","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45006-2","volume-title":"Process Design for Natural Scientists","year":"2014","unstructured":"Lamprecht, A.-L., Margaria, T. (eds.): Process Design for Natural Scientists. CCIS, vol. 500. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45006-2"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/11688839_9","volume-title":"Compiler Construction","author":"A-L Lamprecht","year":"2006","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: Data-flow analysis as model checking within the jABC. In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS, vol. 3923, pp. 101\u2013104. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11688839_9"},{"issue":"Suppl. 10","key":"1_CR23","doi-asserted-by":"publisher","first-page":"S8","DOI":"10.1186\/1471-2105-10-S10-S8","volume":"10","author":"AL Lamprecht","year":"2009","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinf. 10(Suppl. 10), S8 (2009)","journal-title":"BMC Bioinf."},{"issue":"Suppl. 4","key":"1_CR24","doi-asserted-by":"publisher","first-page":"S13","DOI":"10.1186\/1471-2105-9-S4-S13","volume":"9","author":"AL Lamprecht","year":"2008","unstructured":"Lamprecht, A.L., et al.: variations of GeneFisher as processes in Bio-jETI. BMC Bioinf. 9(Suppl. 4), S13 (2008). http:\/\/www.ncbi.nlm.nih.gov\/pubmed\/18460174","journal-title":"BMC Bioinf."},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), Porto, Portugal, pp. 262\u2013267. IEEE, September 2010","DOI":"10.1109\/QUATIC.2010.53"},{"issue":"Suppl. 1","key":"1_CR26","doi-asserted-by":"publisher","first-page":"S5","DOI":"10.1186\/2041-1480-2-S1-S5","volume":"2","author":"AL Lamprecht","year":"2011","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. J. Biomed. Seman. 2(Suppl. 1), S5 (2011). http:\/\/www.jbiomedsem.com\/content\/2\/S1\/S5","journal-title":"J. Biomed. Seman."},{"issue":"6","key":"1_CR27","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/s10009-016-0427-0","volume":"18","author":"A Lamprecht","year":"2016","unstructured":"Lamprecht, A., Steffen, B., Margaria, T.: Scientific workflows with the jABC framework - a review after a decade in the field. STTT 18(6), 629\u2013651 (2016). https:\/\/doi.org\/10.1007\/s10009-016-0427-0","journal-title":"STTT"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-25930-5_10","volume-title":"Objects, Agents, and Features","author":"T Margaria","year":"2004","unstructured":"Margaria, T.: Components, features, and agents in the ABC. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 154\u2013174. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25930-5_10"},{"issue":"2","key":"1_CR29","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10270-004-0072-z","volume":"4","author":"T Margaria","year":"2005","unstructured":"Margaria, T.: Web services-based tool-integration in the ETI platform. Softw. Syst. Model. 4(2), 141\u2013156 (2005). https:\/\/doi.org\/10.1007\/s10270-004-0072-z","journal-title":"Softw. Syst. Model."},{"issue":"11","key":"1_CR30","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2007.398","volume":"40","author":"T Margaria","year":"2007","unstructured":"Margaria, T.: Service is in the eyes of the beholder. IEEE Comput. 40(11), 33\u201337 (2007)","journal-title":"IEEE Comput."},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-319-46508-1_2","volume-title":"Transactions on Foundations for Mastering Change I","author":"T Margaria","year":"2016","unstructured":"Margaria, T.: Knowledge management for inclusive system evolution. In: Steffen, B. (ed.) Transactions on Foundations for Mastering Change I. LNCS, vol. 9960, pp. 7\u201321. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46508-1_2"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-00244-2_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"T Margaria","year":"2018","unstructured":"Margaria, T.: Generative model driven design for agile system design and evolution: a tale of two worlds. In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 3\u201318. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00244-2_1"},{"key":"1_CR33","unstructured":"Margaria, T., Kubczak, C., Njoku, M., Steffen, B.: Model-based design of distributed collaborative bioinformatics processes in the jABC. In: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), pp. 169\u2013176. IEEE Computer Society, Los Alamitos, August 2006"},{"issue":"Suppl 4","key":"1_CR34","doi-asserted-by":"publisher","first-page":"S12","DOI":"10.1186\/1471-2105-9-S4-S12","volume":"9","author":"T Margaria","year":"2008","unstructured":"Margaria, T., Kubczak, C., Steffen, B.: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinf. 9(Suppl 4), S12 (2008)","journal-title":"BMC Bioinf."},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BFb0053591","volume-title":"Fundamental Approaches to Software Engineering","author":"T Margaria","year":"1998","unstructured":"Margaria, T., Steffen, B.: Backtracking-free design planning by automatic synthesis in metaframe. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol. 1382, pp. 188\u2013204. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053591"},{"issue":"2\u20133","key":"1_CR36","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. Softw. Tools Technol. Transf. 5(2\u20133), 107\u2013123 (2004)","journal-title":"Softw. Tools Technol. Transf."},{"key":"1_CR37","unstructured":"Margaria, T., Steffen, B.: LTL-guided planning: revisiting automatic tool composition in ETI. In: Proceedings of the 31st Annual IEEE\/NASA Software Engineering Workshop (SEW 2007), Columbia, MD, USA, pp. 214\u2013226. IEEE Computer Society (2007). http:\/\/portal.acm.org\/citation.cfm?id=1338445.1338873&coll=GUIDE&dl=GUIDE"},{"key":"1_CR38","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-88479-8_35","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T Margaria","year":"2008","unstructured":"Margaria, T., Steffen, B.: Agile IT: thinking in user-centric models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 490\u2013502. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88479-8_35"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"10","key":"1_CR40","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/MC.2009.315","volume":"42","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Continuous model-driven engineering. IEEE Comput. 42(10), 106\u2013109 (2009)","journal-title":"IEEE Comput."},{"issue":"6","key":"1_CR41","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B.: Simplicity as a driver for agile innovation. Computer 43(6), 90\u201392 (2010)","journal-title":"Computer"},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"Tiziana Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10"},{"issue":"2","key":"1_CR43","first-page":"1","volume":"20","author":"S Naujokat","year":"2017","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Softw. Tools Technol. Transf. 20(2), 1\u201328 (2017)","journal-title":"Softw. Tools Technol. Transf."},{"issue":"3","key":"1_CR44","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1002\/spe.2243","volume":"44","author":"S Naujokat","year":"2013","unstructured":"Naujokat, S., Neubauer, J., Lamprecht, A.L., Steffen, B., J\u00f6rges, S., Margaria, T.: Simplicity-first model-based plug-in development. Softw. Pract. Exp. 44(3), 277\u2013297 (2013)","journal-title":"Softw. Pract. Exp."},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-662-45234-9_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"J Neubauer","year":"2014","unstructured":"Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 56\u201372. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9_5"},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"259","DOI":"10.4204\/EPTCS.129.16","volume":"129","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B., Margaria, T.: Higher-order process modeling: product-lining, variability modeling and beyond. Electron. Proc. Theor. Comput. Sci. 129, 259\u2013283 (2013)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"1_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45314-8_17","volume-title":"Fundamental Approaches to Software Engineering","author":"O Niese","year":"2001","unstructured":"Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.-D.: Library-based design and consistency checking of system-level industrial test cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 233\u2013248. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45314-8_17"},{"key":"1_CR48","doi-asserted-by":"publisher","unstructured":"Petrie, C., K\u00fcster, U., Margaria, T., Zaremba, M., Lausen, H., Komazec, S.: Status, perspectives, and lessons learned. In: Semantic Web Services Challenge, Results from the First Year, pp. 275\u2013284 (2009). https:\/\/doi.org\/10.1007\/978-0-387-72496-6_17","DOI":"10.1007\/978-0-387-72496-6_17"},{"key":"1_CR49","series-title":"Semantic Web And Beyond","volume-title":"Semantic Web Services Challenge","year":"2009","unstructured":"Petrie, C., Margaria, T., Lausen, H., Zaremba, M. (eds.): Semantic Web Services Challenge. Results from the First Year, Semantic Web and Beyond, vol. 8. Springer, US (2009)"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Raffelt, H., Margaria, T., Steffen, B., Merten, M.: Hybrid test of web applications with webtest. In: TAV-WEB \u201908: Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, pp. 1\u20137. ACM, New York (2008)","DOI":"10.1145\/1390832.1390833"},{"key":"1_CR51","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-91908-9_17","volume-title":"Computing and Software Science: State of the Art and Perspectives","author":"B Steffen","year":"2018","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science: State of the Art and Perspectives. LNCS, vol. 10000, pp. 311\u2013344. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_17"},{"issue":"5","key":"1_CR52","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/s10009-014-0336-z","volume":"16","author":"B Steffen","year":"2014","unstructured":"Steffen, B., Isberner, M., Naujokat, S., Margaria, T., Geske, M.: Property-driven benchmark generation: synthesizing programs of realistic structure. Softw. Tools Technol. Transf. 16(5), 465\u2013479 (2014)","journal-title":"Softw. Tools Technol. Transf."},{"key":"1_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in practice: design of intelligent network services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390\u2013415. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48092-7_17"},{"key":"1_CR54","first-page":"847","volume":"51","author":"B Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition. Ann. Rev. Commun. ACM 51, 847\u2013856 (1997)","journal-title":"Ann. Rev. Commun. ACM"},{"issue":"1","key":"1_CR55","first-page":"13","volume":"17","author":"B Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A.: Heterogeneous analysis and verification for distributed systems. Softw. Concepts Tools 17(1), 13\u201325 (1996)","journal-title":"Softw. Concepts Tools"},{"issue":"2","key":"1_CR56","first-page":"78","volume":"17","author":"B Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V.: Incremental formalization: a key to industrial success. Softw. Concepts Tools 17(2), 78\u201395 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V.: The METAFrame\u201995 environment. In: CAV, pp. 450\u2013453 (1996)","DOI":"10.1007\/3-540-61474-5_100"},{"key":"1_CR58","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-61042-1_63","volume-title":"TACAS 1996","author":"B Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Nisius, R., Reitenspie\u00df, M.: A constraint-oriented service creation environment. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 418\u2013421. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61042-1_63"},{"key":"1_CR59","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Reitenspie\u00df, M.: An environment for the creation of intelligent network services. In: Intelligent Networks: IN\/AIN Technologies, Operations, Services and Applications - A Comprehensive Report, pp. 287\u2013300. IEC: International Engineering Consortium (1996)"},{"key":"1_CR60","unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction. Technical report, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1993)"},{"key":"1_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-70889-6_7"},{"issue":"11","key":"1_CR62","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2007.386","volume":"40","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Narayan, P.: Full life-cycle support for end-to-end processes. IEEE Comput. 40(11), 64\u201373 (2007)","journal-title":"IEEE Comput."},{"issue":"1","key":"1_CR63","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-46508-1_3","volume":"1","author":"B Steffen","year":"2016","unstructured":"Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. LNCS Trans. Found. Mastering Change (FoMaC) 1(1), 22\u201346 (2016)","journal-title":"LNCS Trans. Found. Mastering Change (FoMaC)"},{"key":"1_CR64","doi-asserted-by":"publisher","unstructured":"Steinmacher, I., Robles, G., Fitzgerald, B., Wasserman, A.I.: Free and open source software development: the end of the teenage years. J. Internet Serv. Appl. 8(1), 17:1\u201317:4 (2017). https:\/\/doi.org\/10.1186\/s13174-017-0069-9","DOI":"10.1186\/s13174-017-0069-9"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Talkhestani, B.A., Jung, T., Lindemann, B., et\u00a0al.: An architecture of an intelligent digital twin in a cyber-physical production system. Automatisierungstechnik 67(9), 762\u2013782. 101515\/auto-2019-0039 2019","DOI":"10.1515\/auto-2019-0039"},{"issue":"4","key":"1_CR66","first-page":"147","volume":"15","author":"MP Ward","year":"1994","unstructured":"Ward, M.P.: Language oriented programming. Softw. Concepts Tools 15(4), 147\u2013161 (1994)","journal-title":"Softw. Concepts Tools"},{"key":"1_CR67","unstructured":"Wikipedia: Digital twin - including 10 definitions. https:\/\/en.wikipedia.org\/wiki\/Digital_twin"},{"key":"1_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1007\/978-3-319-47169-3_58","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"N Wortmann","year":"2016","unstructured":"Wortmann, N., Michel, M., Naujokat, S.: A fully model-based approach to software development for industrial centrifuges. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 774\u2013783. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_58"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34968-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T17:23:53Z","timestamp":1665077033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34968-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030349677","9783030349684"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34968-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"22 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ifm2019.hvl.no\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}