{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:08:38Z","timestamp":1759334918188,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031975363"},{"type":"electronic","value":"9783031975370"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-97537-0_9","type":"book-chapter","created":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:45:52Z","timestamp":1759272352000},"page":"147-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Toward Methodical Discovery and\u00a0Handling of\u00a0Hidden Assumptions in\u00a0Complex Systems and\u00a0Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7240-3931","authenticated-orcid":false,"given":"David","family":"Harel","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3513-6448","authenticated-orcid":false,"given":"Uwe","family":"A\u00dfmann","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6569-1023","authenticated-orcid":false,"given":"Fabiana","family":"Fournier","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4784-2147","authenticated-orcid":false,"given":"Lior","family":"Limonad","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5904-5105","authenticated-orcid":false,"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1361-1575","authenticated-orcid":false,"given":"Smadar","family":"Szekely","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"9_CR1","unstructured":"A\u00dfmann, U., Zschaler, S., Wagner, G.: Ontologies, meta-models, and the model-driven paradigm. In: Calero, C., Ruiz, F., Piattini, M. (eds.) Ontologies for Software Engineering and Technology. Springer (2006). https:\/\/link.springer.com\/chapter\/10.1007\/3-540-34518-3_9"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Atkinson, C., K\u00fchne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36\u201341 (2003). http:\/\/csdl.computer.org\/comp\/mags\/so\/2003\/05\/s5036abs.htm","DOI":"10.1109\/MS.2003.1231149"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/j.ssci.2017.12.023","volume":"108","author":"VA Banks","year":"2018","unstructured":"Banks, V.A., Plant, K.L., Stanton, N.A.: Driver error or designer error: using the perceptual cycle model to explore the circumstances surrounding the fatal tesla crash on 7th May 2016. Saf. Sci. 108, 278\u2013285 (2018)","journal-title":"Saf. Sci."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A., et\u00a0al.: Contracts for system design. Found. Trends\u00ae Electr. Des. Autom. 12(2-3), 124\u2013400 (2018)","DOI":"10.1561\/1000000053"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bialy, M., et al.: Software engineering for model-based development by domain experts. In: Handbook of System Safety and Security, pp. 39\u201364. Elsevier (2017)","DOI":"10.1016\/B978-0-12-803773-7.00003-6"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bienm\u00fcller, T., Damm, W., Wittke, H.: The statemate verification environment: making it real. In: Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings 12, pp. 561\u2013567. Springer (2000)","DOI":"10.1007\/10722167_45"},{"issue":"5","key":"9_CR7","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1093\/cid\/ciab673","volume":"74","author":"M Biggerstaff","year":"2022","unstructured":"Biggerstaff, M., Slayton, R.B., Johansson, M.A., Butler, J.C.: Improving pandemic response: employing mathematical modeling to confront coronavirus disease 2019. Clin. Infect. Dis. 74(5), 913\u2013917 (2022)","journal-title":"Clin. Infect. Dis."},{"key":"9_CR8","unstructured":"Buede, D.M., Miller, W.D.: The engineering design of systems: models and methods (2016)"},{"issue":"9","key":"9_CR9","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MSPEC.2005.1502528","volume":"42","author":"RN Charette","year":"2005","unstructured":"Charette, R.N.: Why software fails [software failure]. IEEE Spectr. 42(9), 42\u201349 (2005)","journal-title":"IEEE Spectr."},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19, 45\u201380 (2001)","journal-title":"Formal Methods Syst. Des."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Damm, W., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: A formal semantics for traffic sequence charts. In: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 182\u2013205 (2018)","DOI":"10.1007\/978-3-319-95246-8_11"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Eisenstein, M.: A Test of Artificial Intelligence. Nature Outlook: Robotics and Artificial Intelligence. Accessed 10 2023","DOI":"10.1038\/d41586-023-02822-z"},{"issue":"4","key":"9_CR13","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1038\/nbt0405-495","volume":"23","author":"D Harel","year":"2005","unstructured":"Harel, D.: A turing-like test for biological modeling. Nat. Biotechnol. 23(4), 495\u2013496 (2005)","journal-title":"Nat. Biotechnol."},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MC.2018.1451652","volume":"51","author":"D Harel","year":"2018","unstructured":"Harel, D., Katz, G., Marelly, R., Marron, A.: Wise computing: toward endowing system development with proactive wisdom. Computer 51(2), 14\u201326 (2018)","journal-title":"Computer"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.mjafi.2020.06.001","volume":"76","author":"A Kotwal","year":"2020","unstructured":"Kotwal, A., Yadav, A.K., Yadav, J., Kotwal, J., Khune, S.: Predictive models of COVID-19 in India: a rapid review. Med. J. Armed Forces India 76(4), 377\u2013386 (2020)","journal-title":"Med. J. Armed Forces India"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Kramer, B., Neurohr, C., B\u00fcker, M., B\u00f6de, E., Fr\u00e4nzle, M., Damm, W.: Identification and quantification of hazardous scenarios for automated driving. In: International Symposium on Model-based Safety and Assessment, pp. 163\u2013178. Springer (2020)","DOI":"10.1007\/978-3-030-58920-2_11"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Kruchten, P.: The 4+1 view model of architecture. IEEE Softw. 12(6), 42\u201350 (1995). https:\/\/doi.org\/10.1109\/52.469759","DOI":"10.1109\/52.469759"},{"key":"9_CR18","doi-asserted-by":"publisher","unstructured":"Marron, A., Cohen, I.R., Frankel, G., Harel, D., Szekely, S.: Challenges in modeling and unmodeling emergence, rule composition, and networked interactions in complex reactive systems. In: MODELSWARD, pp. 202\u2013209 (2023). (Conference Proceedings: https:\/\/www.scitepress.org\/ProceedingsDetails.aspx?ID=M\/tLGjnMVq0=&t=1, https:\/\/doi.org\/10.5220\/0011728900003402)","DOI":"10.5220\/0011728900003402"},{"issue":"5050","key":"9_CR19","doi-asserted-by":"publisher","first-page":"1347","DOI":"10.1126\/science.255.5050.1347","volume":"255","author":"E Marshall","year":"1992","unstructured":"Marshall, E.: Fatal error: how patriot overlooked a scud. Science 255(5050), 1347\u20131347 (1992)","journal-title":"Science"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"103431","DOI":"10.1016\/j.csi.2020.103431","volume":"71","author":"J Masso","year":"2020","unstructured":"Masso, J., Pino, F.J., Pardo, C., Garc\u00eda, F., Piattini, M.: Risk management in the software life cycle: a systematic literature review. Comput. Stand. Interfaces 71, 103431 (2020)","journal-title":"Comput. Stand. Interfaces"},{"issue":"7652","key":"9_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1038\/nature22315","volume":"545","author":"I Medhaug","year":"2017","unstructured":"Medhaug, I., Stolpe, M.B., Fischer, E.M., Knutti, R.: Reconciling controversies about the \u2018global warming hiatus\u2019. Nature 545(7652), 41\u201347 (2017)","journal-title":"Nature"},{"key":"9_CR22","doi-asserted-by":"publisher","unstructured":"Moody, D.: What makes a good diagram? Improving the cognitive effectiveness of diagrams in is development, vol.\u00a02 (2007). https:\/\/doi.org\/10.1007\/978-0-387-70802-7_40","DOI":"10.1007\/978-0-387-70802-7_40"},{"key":"9_CR23","doi-asserted-by":"publisher","unstructured":"Norman, D.: The Design of Everyday Things (2016). https:\/\/doi.org\/10.15358\/9783800648108","DOI":"10.15358\/9783800648108"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Pelletier, J.D.: Coherence resonance and ice ages. J. Geophys. Res.: Atmos. 108(D20) (2003)","DOI":"10.1029\/2002JD003120"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217\u2013238 (2012)","DOI":"10.3166\/ejc.18.217-238"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Smyth, S., Schulz-Rosengarten, A., von Hanxleden, R.: Practical causality handling for synchronous languages. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1281\u20131284. IEEE (2019)","DOI":"10.23919\/DATE.2019.8715081"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Tsarfaty, R., Pogrebezky, I., Weiss, G., Natan, Y., Szekely, S., Harel, D.: Semantic parsing using content and context: a case study from requirements elicitation. In: Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP), pp. 1296\u20131307 (2014)","DOI":"10.3115\/v1\/D14-1136"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Wand, Y., Weber, R.: On the ontological expressiveness of information systems analysis and design grammars. Inf. Syst. J. 3 (1993)","DOI":"10.1111\/j.1365-2575.1993.tb00127.x"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Wand, Y., Weber, R.: On the deep structure of information systems. Inf. Syst. J. 5 (1995)","DOI":"10.1111\/j.1365-2575.1995.tb00108.x"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Zipfl, M., Koch, N., Z\u00f6llner, J.M.: A comprehensive review on ontologies for scenario-based testing in the context of autonomous driving. arXiv preprint: arXiv:2304.10837 (2023)","DOI":"10.1109\/IV55152.2023.10186681"}],"container-title":["Lecture Notes in Computer Science","Engineering Safe and Trustworthy Cyber Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97537-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:45:57Z","timestamp":1759272357000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97537-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031975363","9783031975370"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97537-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}