{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T12:09:13Z","timestamp":1751371753540,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T00:00:00Z","timestamp":1710547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T00:00:00Z","timestamp":1710547200000},"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":["Softw Syst Model"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s10270-023-01142-0","type":"journal-article","created":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T08:01:56Z","timestamp":1710576116000},"page":"1513-1545","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-9992-176X","authenticated-orcid":false,"given":"Thuy","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Imen","family":"Sayar","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0957-2844","authenticated-orcid":false,"given":"Sophie","family":"Ebersold","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3653-0148","authenticated-orcid":false,"given":"Jean-Michel","family":"Bruel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,3,16]]},"reference":[{"key":"1142_CR1","unstructured":"A guide to the business analysis body of knowledge(BABOK Guide). v3, IIBA (2015)"},{"key":"1142_CR2","doi-asserted-by":"crossref","unstructured":"Abrial , J.-R., Butler, M., Hallerstede, S., Voisin, L.: An open extensible tool environment for event-b. In: Liu, Z., Jifeng, H., (eds) Formal Methods and Software Engineering, pp 588\u2013605 (2006). Springer, Berlin","DOI":"10.1007\/11901433_32"},{"key":"1142_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"1142_CR4","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"1142_CR5","doi-asserted-by":"crossref","unstructured":"Azzouzi, E., Jardin, A., Mhenni, F.: A survey on systems engineering methodologies for large multi-energy cyber-physical systems. In: 13th Annual International System Conference and SysCon 2019\u2014Proceedings (2019)","DOI":"10.1109\/SYSCON.2019.8836741"},{"key":"1142_CR6","unstructured":"BIPM. The International System of Units (SI) (2019)"},{"key":"1142_CR7","unstructured":"Board, M.C.O.M.I.: Mars Climate Orbiter Mishap Investigation Board: Phase I Report. Nimble Books LLC (2013)"},{"key":"1142_CR8","unstructured":"Bouffaron, F.: Airbus MBSE framework : model execution of system architectures (MOFLT). In: MBSE Cyber Experience Symposium 2021\u2014Japan, ONLINE, Japan (2021)"},{"key":"1142_CR9","doi-asserted-by":"crossref","unstructured":"Bruel, J.-M., Ebersold, S., Galinier, F., Mazzara, M., Naumchev, A., Meyer, B.: The role of formalism in system requirements. ACM Comput. Surv. 54(5), 1\u201336 (2021)","DOI":"10.1145\/3448975"},{"key":"1142_CR10","unstructured":"Chrissis, M.B., Konrad, M., Shrum, S.: CMMI for Development: Guidelines for Process Integration and Product improvement, 3rd edition. Pearson Education (2011)"},{"key":"1142_CR11","unstructured":"Cockburn, A.: Writing Effective Use Cases. Pearson Education India (2001)"},{"key":"1142_CR12","unstructured":"Electric Power Research Institute (EPRI): Operating experience insights on common-cause failure in digital instrumentation and control systems. TR 1016731 (2008)"},{"key":"1142_CR13","unstructured":"Electric Power Research Institute (EPRI): Severe nuclear accidents: lessons learned for instrumentation and control and human factors.TR 3002005385 (2015)"},{"key":"1142_CR14","unstructured":"Glinz, M.: A Glossary of Requirements Engineering Terminology. Version 2.0.1. International Requirements Engineering Board (IREB). Technical Report (2022)"},{"key":"1142_CR15","unstructured":"IEEE standard glossary of software engineering terminology: IEEE Std 610(12\u20131990), 1\u201384 (1990)"},{"key":"1142_CR16","unstructured":"ISO\/IEC.: Information Technology\u2014Object Management Group Business Process Model and Notation. 19510 (2013)"},{"key":"1142_CR17","unstructured":"ISO\/IEC: Systems and Software Assurance: Assurance Case. 15026-2 (2015)"},{"key":"1142_CR18","unstructured":"Kotonya, G., Sommerville, I..: Requirements Engineering: Processes and Techniques. Wiley (1998)"},{"key":"1142_CR19","unstructured":"Lano, K.: Requirements formalisation. https:\/\/github.com\/kevinlano\/RequirementsFormalisation\/tree\/main\/ (2023)"},{"key":"1142_CR20","unstructured":"Lano, K.: k3 data. https:\/\/github.com\/kevinlano\/RequirementsFormalisation\/tree\/main\/casestudies\/k3data.txt (2023)"},{"key":"1142_CR21","unstructured":"Lano, K.: k3 ucs. https:\/\/github.com\/kevinlano\/RequirementsFormalisation\/tree\/main\/casestudies\/k3ucs.txt (2023)"},{"key":"1142_CR22","doi-asserted-by":"crossref","unstructured":"Laplante, P.A., Kassab, M.H.: Requirements Engineering for Software and Systems. CRC Press (2022)","DOI":"10.1201\/9781003129509"},{"key":"1142_CR23","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object Oriented Analysis and Design and iNterative Development. Pearson Education India (2012)"},{"key":"1142_CR24","unstructured":"Lawrence, P.S., Atlee, J.M.: Software Engineering: Theory and Practice. Pearson Education India (2010)"},{"key":"1142_CR25","unstructured":"Leffingwell, D.: Agile Software Requirements: Lean Requirements Practices for Teams, Programs, and the Enterprise. Addison-Wesley (2010)"},{"key":"1142_CR26","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Handbook of Requirements and Business Analysis. Springer (2022)","DOI":"10.1007\/978-3-031-06739-6"},{"key":"1142_CR27","unstructured":"Network Aviation\u00a0Safety.: The Cranbrook Manoeuvre. https:\/\/aviation-safety.net\/database\/record.php? id=19780211-0 (1978)"},{"key":"1142_CR28","doi-asserted-by":"crossref","unstructured":"Nguyen, T.: An improved approach to traceability in the engineering of complex systems. In: 2018 IEEE International Systems Engineering Symposium (ISSE), pp. 1\u20136 (2018)","DOI":"10.1109\/SysEng.2018.8544436"},{"key":"1142_CR29","doi-asserted-by":"crossref","unstructured":"Nguyen, T.: Formal requirements and constraints modelling in FORM-L for the engineering of complex socio-technical systems. In: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), pp. 123\u2013132 (2019)","DOI":"10.1109\/REW.2019.00027"},{"key":"1142_CR30","unstructured":"Nguyen, T.: k3 case study requirements in FORM-L. https:\/\/github.com\/CoCoVaD\/k3-Case-Study (2023)"},{"key":"1142_CR31","unstructured":"Nguyen, T.: The BASAALT systems engineering method, and FORM-L, its supporting language. https:\/\/github.com\/CoCoVaD\/basaalt (2023)"},{"key":"1142_CR32","unstructured":"OECD-NEA. COMPuter-based Systems Important to Safety (COMPSIS) project: final report. NEA\/CSNI\/R(2012)12 (2012)"},{"key":"1142_CR33","unstructured":"Pohl, K.: Requirements Engineering Fundamentals: A Study Guide for the Certified Professional for Requirements Engineering Exam. Rocky Nook, Inc (2016)"},{"key":"1142_CR34","unstructured":"Respect-IT. A KAOS Tutorial (2007)"},{"key":"1142_CR35","unstructured":"Robertson, S., Robertson, J.: Mastering the Requirements Process: Getting Requirements Right. Addison-Wesley (2012)"},{"key":"1142_CR36","unstructured":"van Lamsweerde, A.: Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering]. In: Proceedings. 12th IEEE International Requirements Engineering Conference, 2004., pp. 4\u20137 (2004)"},{"key":"1142_CR37","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications, 1st edition. Wiley (2009)"},{"key":"1142_CR38","unstructured":"Wiegers, K., Beatty, J.: Software Requirements. 3rd edition (2013)"},{"issue":"1","key":"1142_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01142-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-023-01142-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01142-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T06:04:07Z","timestamp":1734156247000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-023-01142-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,16]]},"references-count":39,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["1142"],"URL":"https:\/\/doi.org\/10.1007\/s10270-023-01142-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2024,3,16]]},"assertion":[{"value":"18 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 December 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}