{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T23:50:11Z","timestamp":1773445811354,"version":"3.50.1"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030646936","type":"print"},{"value":"9783030646943","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-64694-3_2","type":"book-chapter","created":{"date-parts":[[2020,11,30]],"date-time":"2020-11-30T12:02:53Z","timestamp":1606737773000},"page":"19-34","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Safety Patterns for SysML: What Does OMG Specify?"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5566-2368","authenticated-orcid":false,"given":"Nan","family":"Niu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Logan","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Diltz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Alenazi, M., Niu, N., Savolainen, J.: A novel approach to tracing safety requirements and state-based design models. In: International Conference on Software Engineering, pp. 848\u2013860 (2020)","DOI":"10.1145\/3377811.3380332"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Alenazi, M., Niu, N., Savolainen, J.: SysML modeling mistakes and their impacts on requirements. In: International Model-Driven Requirements Engineering Workshop, pp. 14\u201323 (2019)","DOI":"10.1109\/REW.2019.00010"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Alenazi, M., Niu, N., Wang, W., Gupta, A.: Traceability for automated production systems: a position paper. In: International Model-Driven Requirements Engineering Workshop, pp. 51\u201355 (2017)","DOI":"10.1109\/REW.2017.55"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Alenazi, M., Niu, N., Wang, W., Savolainen, J.: Using obstacle analysis to support SysML-based model testing for cyber physical systems. In: International Model-Driven Requirements Engineering Workshop, pp. 46\u201355 (2018)","DOI":"10.1109\/MoDRE.2018.00012"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Alenazi, M., Reddy, D., Niu, N.: Assuring virtual PLC in the context of SysML models. In: International Conference on Software Reuse, pp. 121\u2013136 (2018)","DOI":"10.1007\/978-3-319-90421-4_8"},{"issue":"5","key":"2_CR6","doi-asserted-by":"publisher","first-page":"3049","DOI":"10.1007\/s10270-018-00712-x","volume":"18","author":"N Bencomo","year":"2019","unstructured":"Bencomo, N., G\u00f6tz, S., Song, H.: Models@run.time: a guided tour of the state of the art and research challenges. Software Syst. Model. 18(5), 3049\u20133082 (2019)","journal-title":"Software Syst. Model."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Besnard, V., Brun, M., Jouault, F., Teodorov, C., Dhauss, P.: Unified LTL verification and embedded execution of UML models. In: International Conference on Model Driven Engineering Languages and Systems, pp. 112\u2013122 (2018)","DOI":"10.1145\/3239372.3239395"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Besnard, V., Teodorov, C., Jouault, F., Brun, M., Dhaussy, P.: Verifying and monitoring UML models with observer automata: a transformation-free approach. In: International Conference on Model Driven Engineering Languages and Systems, pp. 161\u2013171 (2019)","DOI":"10.1109\/MODELS.2019.000-5"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s00766-015-0226-2","volume":"20","author":"T Bhowmik","year":"2015","unstructured":"Bhowmik, T., Niu, N., Savolainen, J., Mahmoud, A.: Leveraging topic modeling and part-of-speech tagging to support combinational creativity in requirements engineering. Requirements Eng. 20(3), 253\u2013280 (2015). https:\/\/doi.org\/10.1007\/s00766-015-0226-2","journal-title":"Requirements Eng."},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/1416563.1416565","volume":"18","author":"TD Breaux","year":"2008","unstructured":"Breaux, T.D., Ant\u00f3n, A.I., Doyle, J.: Semantic parameterization: a process for modeling domain descriptions. ACM Trans. Software Eng. Methodol. 18(2), 5:1\u20135:27 (2008)","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"EM Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)"},{"issue":"6","key":"2_CR12","doi-asserted-by":"publisher","first-page":"3331","DOI":"10.1007\/s10270-019-00721-4","volume":"18","author":"C Czepa","year":"2019","unstructured":"Czepa, C., Amiri, A., Ntentos, E., Zdun, U.: Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability. Software Syst. Model. 18(6), 3331\u20133371 (2019)","journal-title":"Software Syst. Model."},{"issue":"2","key":"2_CR13","doi-asserted-by":"publisher","first-page":"11:1","DOI":"10.1145\/3306608","volume":"28","author":"C Czepa","year":"2019","unstructured":"Czepa, C., Zdun, U.: How understandable are pattern-based behavioral constraints for novice software designers? ACM Trans. Softw. Eng. Methodol. 28(2), 11:1\u201311:38 (2019)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/TSE.2018.2859926","volume":"46","author":"C Czepa","year":"2020","unstructured":"Czepa, C., Zdun, U.: On the understandability of temporal properties formalized in linear temporal logic, property specification patterns and event processing language. IEEE Trans. Software Eng. 46(1), 100\u2013112 (2020)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1007\/s10270-017-0635-4","volume":"18","author":"F Dadeau","year":"2017","unstructured":"Dadeau, F., Fourneret, E., Bouchelaghem, A.: Temporal property patterns for model-based testing from UML\/OCL. Softw. Syst. Model. 18(2), 865\u2013888 (2017). https:\/\/doi.org\/10.1007\/s10270-017-0635-4","journal-title":"Softw. Syst. Model."},{"key":"2_CR16","unstructured":"Fillmore, C.J., Baker, C.F.: Frame semantics for text understanding. In: WordNet and Other Lexical Resources Workshop (2001)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Dom\u00ednguez, A., Bencomo, N., Ullauri, J.M.P., Paucar, L.H.G.: Querying and annotating model histories with time-aware patterns. In: International Conference on Model Driven Engineering Languages and Systems, pp. 194\u2013204 (2019)","DOI":"10.1109\/MODELS.2019.000-2"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Dou, W., Bianculli, D., Briand, L.C.: Model-driven trace diagnostics for pattern-based temporal specifications. In: International Conference on Model Driven Engineering Languages and Systems, pp. 278\u2013288 (2018)","DOI":"10.1145\/3239372.3239396"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Goldsby, H., Cheng, B.: Automatically discovering properties that specify the latent behavior of UML models. In: International Conference on Model Driven Engineering Languages and Systems, pp. 316\u2013330 (2010)","DOI":"10.1007\/978-3-642-16145-2_22"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1049\/iet-sen.2010.0072","volume":"6","author":"J Guo","year":"2012","unstructured":"Guo, J., Wang, Y., Zhang, Z., Nummenmaa, J., Niu, N.: Model-driven approach to developing domain functional requirements in software product lines. IET Software 6(4), 391\u2013401 (2012)","journal-title":"IET Software"},{"key":"2_CR22","unstructured":"International Organization for Standardization. Road Vehicles \u2013 Functional Safety (ISO 26262). https:\/\/www.iso.org\/standard\/68383.html. Accessed October 2020"},{"issue":"3","key":"2_CR23","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s00766-017-0271-0","volume":"22","author":"C Khatwani","year":"2017","unstructured":"Khatwani, C., Jin, X., Niu, N., Koshoffer, A., Newman, L., Savolainen, J.: Advancing viewpoint merging in requirements engineering: A theoretical replication and explanatory study. Requirements Eng. 22(3), 317\u2013338 (2017)","journal-title":"Requirements Eng."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: International Requirements Engineering Conference, pp. 76\u201385 (2006)","DOI":"10.1109\/RE.2006.45"},{"issue":"3","key":"2_CR25","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s00766-013-0197-0","volume":"19","author":"A Mahmoud","year":"2013","unstructured":"Mahmoud, A., Niu, N.: Supporting requirements to code traceability through refactoring. Requirements Eng. 19(3), 309\u2013329 (2013). https:\/\/doi.org\/10.1007\/s00766-013-0197-0","journal-title":"Requirements Eng."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Montaghami, V., Rayside, D.: Pattern-based debugging of declarative models. In: International Conference on Model Driven Engineering Languages and Systems, pp. 322\u2013327 (2015)","DOI":"10.1109\/MODELS.2015.7338263"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Niu, N., Easterbrook, S.: Extracting and modeling product line functional requirements. In: International Requirements Engineering Conference, pp. 155\u2013164 (2008)","DOI":"10.1109\/RE.2008.49"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Niu, N., Koshoffer, A., Newman, L., Khatwani, C., Samarasinghe, C., Savolainen, J.: Advancing repeated research in requirements engineering: a theoretical replication of viewpoint merging. In: International Requirements Engineering Conference, pp. 186\u2013195 (2016)","DOI":"10.1109\/RE.2016.46"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Niu, N., Reddivari, S., Chen, Z.: Keeping requirements on track via visual analytics. In: International Requirements Engineering Conference, pp. 205\u2013214 (2013)","DOI":"10.1109\/RE.2013.6636720"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Niu, N., Wang, W., Gupta, A.: Gray links in the use of requirements traceability. In: International Symposium on Foundations of Software Engineering, pp. 384\u2013395 (2016)","DOI":"10.1145\/2950290.2950354"},{"issue":"2","key":"2_CR31","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-005-0205-x","volume":"8","author":"I Ober","year":"2006","unstructured":"Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. Int. J. Softw. Tools Technol. Transfer 8(2), 128\u2013145 (2006)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"2_CR32","unstructured":"Object Management Group. Systems Modeling Language (SysML). http:\/\/www.omgsysml.org. Accessed Oct 2020"},{"key":"2_CR33","unstructured":"Object Management Group. Systems Modeling Language (SysML) Specification. https:\/\/www.omg.org\/spec\/SysML\/. Accessed Oct 2020"},{"key":"2_CR34","unstructured":"Object Management Group. Systems Modeling Language (SysML) Specification (Version 1.6). https:\/\/www.omg.org\/spec\/SysML\/1.6\/PDF. Accessed Oct 2020"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Reddivari, S., Chen, Z., Niu, N.: ReCVisu: a tool for clustering-based visual exploration of requirements. In: International Requirements Engineering Conference, pp. 327\u2013328 (2012)","DOI":"10.1109\/RE.2012.6345828"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, W., Wehrheim, H.: The challenges of building advanced mechatronic systems. In: International Conference on the Future of Software Engineering, pp. 72\u201384 (2007)","DOI":"10.1109\/FOSE.2007.28"},{"key":"2_CR37","volume-title":"Grounded Theory in Practice","author":"AL Strauss","year":"1997","unstructured":"Strauss, A.L., Corbin, J.: Grounded Theory in Practice. Sage Publications, Thousand Oaks (1997)"},{"key":"2_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2016.12.004","volume":"84","author":"T Vale","year":"2017","unstructured":"Vale, T., Santana de Almeida, E., Alves, V., Kulesza, U., Niu, N., de Lima, R.: Software product lines traceability: a systematic mapping study. Inf. Softw. Technol. 84, 1\u201318 (2017)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"2_CR39","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/TII.2016.2637166","volume":"14","author":"W Wang","year":"2018","unstructured":"Wang, W., Gupta, A., Niu, N., Xu, L.D., Cheng, J.-R.C., Niu, Z.: Automatically tracing dependability requirements via term-based relevance feedback. IEEE Trans. Industr. Inf. 14(1), 342\u2013349 (2018)","journal-title":"IEEE Trans. Industr. Inf."},{"issue":"6","key":"2_CR40","doi-asserted-by":"publisher","first-page":"3155","DOI":"10.1109\/TII.2018.2878782","volume":"15","author":"W Wang","year":"2019","unstructured":"Wang, W., Niu, N., Alenazi, M., Xu, L.D.: In-place traceability for automated production systems: a survey of PLC and SysML tools. IEEE Trans. Industr. Inf. 15(6), 3155\u20133162 (2019)","journal-title":"IEEE Trans. Industr. Inf."},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Wang, W., Niu, N., Liu, H., Niu, Z.: Enhancing automated requirements traceability by resolving polysemy. In: International Requirements Engineering Conference, pp. 40\u201351 (2018)","DOI":"10.1109\/RE.2018.00-53"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Westland, T., Niu, N., Jha, R., Kapp, D., Kebede, T.: Relating the empirical foundations of attack generation and vulnerability discovery. In: International Conference on Information Reuse and Integration, pp. 37\u201344 (2020)","DOI":"10.1109\/IRI49571.2020.00014"}],"container-title":["Lecture Notes in Computer Science","Reuse in Emerging Software Engineering Practices"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-64694-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,30]],"date-time":"2020-11-30T13:05:40Z","timestamp":1606741540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-64694-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030646936","9783030646943"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-64694-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"1 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software and Software Reuse","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hammamet","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsr2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsr2020.wordpress.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.35","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}