{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:40:39Z","timestamp":1761514839709,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030819149"},{"type":"electronic","value":"9783030819156"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-81915-6_6","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"97-127","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Continual Model-Based Analysis"],"prefix":"10.1007","author":[{"given":"Kenneth","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Zeller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arthur","family":"Vetter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Varro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Wil van der Aalst. \u201cBusiness process management: a comprehensive survey\u201d. In: ISRN Software Engineering 2013 (2013). https:\/\/doi.org\/10\/gb67c5.","DOI":"10.1155\/2013\/507984"},{"key":"6_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining: Data Science in Action","author":"Wil van der Aalst","year":"2016","unstructured":"Wil van der Aalst. Process Mining: Data Science in Action. Springer, 2016."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Wil van der Aalst. \u201cAcademic View: Development of the Process Mining Discipline\u201d. In: Process Mining in Action: Principles, Use Cases and Outlook. 2020, pp. 181\u2013196. https:\/\/doi.org\/10.1007\/978-3-030-40172-6_21.","DOI":"10.1007\/978-3-030-40172-6_21"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Rasmus Adler, Dominik Domis, Kai H\u00f6fig, S\u00f6ren Kemmann, Thomas Kuhn, Jean- Pascal Schwinn, and Mario Trapp. \u201cIntegration of Component Fault Trees into the UML\u201d. In: Models in Software Engineering. 2011, pp. 312\u2013327. https:\/\/doi.org\/10.1007\/978-3-642-21210-9_30.","DOI":"10.1007\/978-3-642-21210-9_30"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Wil van der Aalst, Maja Pesic, and Minseok Song. \u201cBeyond Process Mining: From the Past to Present and Future\u201d. In: Advanced Information Systems Engineering. 2010, pp. 38\u201352. https:\/\/doi.org\/10\/fnr6t8.","DOI":"10.1007\/978-3-642-13094-6_5"},{"key":"6_CR6","volume-title":"Software Change Impact Analysis","author":"Robert S Arnold","year":"1996","unstructured":"Robert S. Arnold. Software Change Impact Analysis. IEEE Computer Society Press, 1996."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. \u201cPatterns in Property Specifications for Finite-State Verification\u201d. In: 21st International Conference on Software Engineering, ICSE, Proceedings. 1999, pp. 411\u2013420. https:\/\/doi.org\/10.1145\/302405.302672.","DOI":"10.1145\/302405.302672"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Jo\u00e3o Gama, Indr\u00e9 \u017dliobait\u00e9, Albert Bifet, Mykola Pechenizkiy, and Abdelhamid Bouchachia. \u201cA Survey on Concept Drift Adaptation\u201d. In: ACM Comput. Surv. 46.4 (2014), 44:1\u201344:37. https:\/\/doi.org\/10.1145\/2523813.","DOI":"10.1145\/2523813"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Lars Grunske. \u201cSpecification Patterns for Probabilistic Quality Properties\u201d. In: 30th International Conference on Software Engineering, ICSE, Proceedings. 2008, pp. 31\u201340. https:\/\/doi.org\/10.1145\/1368088.1368094.","DOI":"10.1145\/1368088.1368094"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Robert Heinrich, Francisco Dur\u00e1n, Carolyn L. Talcott, and Steffen Zschaler (eds.) Composing Model-Based Analysis Tools. Springer, 2021. https:\/\/doi.org\/10.1007\/978-3-030-81915-6.","DOI":"10.1007\/978-3-030-81915-6"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Kai H\u00f6fig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, and Arne Nordmann. \u201cModel-based Reliability and Safety: Reducing the complexity of safety analyses using component fault trees\u201d. In: Annual Reliability and Maintainability Symposium, RAMS. 2018, pp. 1\u20137. https:\/\/doi.org\/10.1109\/RAM.2018.8463058.","DOI":"10.1109\/RAM.2018.8463058"},{"key":"6_CR12","unstructured":"IEEE. \u201cIEEE Standard for eXtensible Event Stream (XES) for Achieving Interoperability in Event Logs and Event Streams\u201d. In: (Nov. 2016). https:\/\/doi.org\/10\/gdcf76."},{"key":"6_CR13","unstructured":"International Organization for Standardization (ISO). ISO 26262: Road vehicles\u2014Functional safety. 2011."},{"key":"6_CR14","unstructured":"Int. Electrotechnical Commission (IEC). IEC 61025: Fault Tree Analysis (FTA). 1990."},{"key":"6_CR15","unstructured":"Int. Electrotechnical Commission (IEC). IEC 60812: Analysis Techniques for System Reliability - Procedure for Failure Mode and Effects Analysis (FMEA). 1991."},{"key":"6_CR16","unstructured":"International Electrotechnical Commission (IEC). IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety related systems. 1998."},{"key":"6_CR17","unstructured":"ISO. ISO 19439: 2006: Enterprise Integration-Framework for Enterprise Modelling. 2006."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Kenneth Johnson and Radu Calinescu. \u201cEfficient Re-Resolution of SMT Specifications for Evolving Software Architectures\u201d. In: 10th International ACM Sigsoft Conference on Quality of Software Architectures, QoSA, Proceedings. 2014, pp. 93\u2013102. https:\/\/doi.org\/10.1145\/2602576.2602578.","DOI":"10.1145\/2602576.2602578"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Kenneth Johnson, Radu Calinescu, and Shinji Kikuchi. \u201cAn Incremental Verification Framework for Component-Based Software Systems\u201d. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. 2013, pp. 33\u201342. https:\/\/doi.org\/10.1145\/2465449.2465456.","DOI":"10.1145\/2465449.2465456"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Anjali Joshi, Steven P. Miller, Michael Whalen, and Mats P.E. Heimdahl. \u201cA proposal for model-based safety analysis\u201d. In: 24th AIAA\/IEEE Digital Avionics Systems Conference. 2005. https:\/\/doi.org\/10.1109\/DASC.2005.1563469.","DOI":"10.1109\/DASC.2005.1563469"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Bernhard Kaiser, Daniel Schneider, Rasmus Adler, Dominik Domis, Felix M\u00f6hrle, Axel Berres, Marc Zeller, Kai H\u00f6fig, and Martin Rothfelder. \u201cAdvances in Component Fault Trees\u201d. In: Safety and Reliability \u2013 Safe Societies in a Changing World, ESREL, Proceedings. 2018, pp. 815\u2013823. https:\/\/www.taylorfrancis.com\/books\/e\/9781351174664\/chapters\/10.1201\/9781351174664-103.","DOI":"10.1201\/9781351174664-103"},{"key":"6_CR22","unstructured":"Bernhard Kaiser, Peter Liggesmeyer, and Oliver M\u00e4ckel. \u201cA New Component Concept for Fault Trees\u201d. In: 8th Australian Workshop on Safety Critical Systems and Software. 2003, pp. 37\u201346."},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Marta Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu. \u201cAssume- Guarantee Verification for Probabilistic Systems\u201d. In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Proceedings. Vol. 6105. 2010, pp. 23\u201337.","DOI":"10.1007\/978-3-642-12002-2_3"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Oleg Lisagor, Tim Kelly, and Ru Niu. \u201cModel-based safety assessment: Review of the discipline and its challenges\u201d. In: 9th International Conference on Reliability, Maintainability and Safety. 2011, pp. 625\u2013632. https:\/\/doi.org\/10.1109\/ICRMS.2011.5979344.","DOI":"10.1109\/ICRMS.2011.5979344"},{"key":"6_CR25","unstructured":"Oleg Lisagor, Linling Sun, and Tim Kelly. \u201cThe Illusion of Method: Challenges of Model-Based Safety Assessment\u201d. In: 28th International System Safety Conference. 2010."},{"key":"6_CR26","unstructured":"Joseph Machrouh, Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Herv\u00e9 Delseny, Jean Gassino, G\u00e9rard Ladier, Emmanuel Ledinot, Michel Leeman, Jean-Marc Astruc, et al. \u201cCross domain comparison of System Assurance\u201d. In: Embedded Real Time Software and Systems, ERTS. 2012. https:\/\/hal.archives-ouvertes.fr\/hal-02170444."},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. \u201cZ3: An Efficient SMT Solver\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems. 2008, pp. 337\u2013340.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Niels Martin, Beno\u00eet Depaire, and An Caris. \u201cThe Use of Process Mining in Business Process Simulation Model Construction\u201d. In: Business & Information Systems Engineering 58.1 (2016), pp. 73\u201387. https:\/\/doi.org\/10\/f8f39n.","DOI":"10.1007\/s12599-015-0410-4"},{"key":"6_CR29","doi-asserted-by":"publisher","unstructured":"John McDermid and Tim Kelly. Software in safety critical systems: Achievement and prediction. 2006. https:\/\/doi.org\/10.1680\/nuen.2006.2.3.140.","DOI":"10.1680\/nuen.2006.2.3.140"},{"key":"6_CR30","unstructured":"Object Management Group. OMG Systems Modeling Language (OMG SysML), Version 1.3. 2012. http:\/\/www.omg.org\/spec\/SysML\/1.3\/."},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Ana Lu\u00edsa Ramos, Jos\u00e9 Vasconcelos Ferreira, and Jaume Barcel\u00f3. \u201cModel-Based Systems Engineering: An Emerging Approach for Modern Systems\u201d. In: IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 42.1 (2012), pp. 101\u2013111.","DOI":"10.1109\/TSMCC.2011.2106495"},{"key":"6_CR32","unstructured":"Pascal Roques. \u201cMBSE with the ARCADIA Method and the Capella Tool\u201d. In: 8th European Congress on Embedded Real Time Software and Systems. 2016."},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Enno Ruijters and Mari\u00eblle Stoelinga. \u201cFault tree analysis: A survey of the state-of-the- art in modeling, analysis and tools\u201d. In: Computer Science Review 15\u201316 (2015), pp. 29\u201362.","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"6_CR34","unstructured":"Michael Schultz., Lothar Meyer, Boris Langer, and Hartmut Fricke. \u201cModel-based Safety Assessment as Integrated Part of System Development\u201d. In: International Workshop on Aircraft System Technologies. 2011."},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Andreas Schoknecht, Arthur Vetter, Hans-Georg Fill, and Andreas Oberweis. \u201cUsing the Horus Method for Succeeding in Business Process Engineering Projects\u201d. In: Domain-Specific Conceptual Modeling. 2016, pp. 127\u2013147. https:\/\/doi.org\/10.1007\/978-3-319-39417-6_6.","DOI":"10.1007\/978-3-319-39417-6_6"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Septavera Sharvia, Sohag Kabir, MartinWalker, and Yiannis Papadopoulos. \u201cModelbased dependability analysis: State-of-the-art, challenges, and future outlook\u201d. In: Software Quality Assurance: In Large Scale and Complex Software-intensive Systems (2015), pp. 251\u2013278. https:\/\/doi.org\/10.1016\/B978-0-12-802301-3.00012-0.","DOI":"10.1016\/B978-0-12-802301-3.00012-0"},{"key":"6_CR37","unstructured":"Society of Automotive Engineers Inc. (SAE). ARP 4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. 1996."},{"key":"6_CR38","unstructured":"Mario Trapp. Assuring functional safety in open systems of systems. Tech. rep. Fraunhofer IESE, 2016. http:\/\/nbn-resolving.de\/urn:nbn:de:hbz:386-kluedo-44221."},{"key":"6_CR39","unstructured":"William E Vesely, Francine F Goldberg, Norman H Roberts, and David F Haasl. Fault Tree Handbook. US Nuclear Regulatory Commission, 1981."},{"key":"6_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28616-2","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"Mathias Weske","year":"2012","unstructured":"Mathias Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2012."},{"key":"6_CR41","doi-asserted-by":"publisher","unstructured":"Marc Zeller and Kai H\u00f6fig. \u201cINSiDER: Incorporation of system and safety analysis models using a dedicated reference model\u201d. In: Annual Reliability and Maintain Symposium, RAMS. 2016, pp. 1\u20136. https:\/\/doi.org\/10.1109\/RAMS.2016.7448074.","DOI":"10.1109\/RAMS.2016.7448074"}],"container-title":["Composing Model-Based Analysis Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-81915-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T15:21:41Z","timestamp":1638890501000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_6","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}