{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:20:31Z","timestamp":1784676031262,"version":"3.55.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030332228","type":"print"},{"value":"9783030332235","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-33223-5_34","type":"book-chapter","created":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T20:03:00Z","timestamp":1572206580000},"page":"412-419","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Generic Negative Scenarios for the Specification of Collaborative Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4936-1873","authenticated-orcid":false,"given":"Viktoria","family":"Stenkova","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2918-5008","authenticated-orcid":false,"given":"Jennifer","family":"Brings","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9156-9731","authenticated-orcid":false,"given":"Marian","family":"Daun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3357-5113","authenticated-orcid":false,"given":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,10,15]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenario usage in system development: a report on current practice. IEEE International Conference Requirements Engineering (1998)","DOI":"10.1109\/52.663783"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Some, S.S.: Use cases based requirements validation with scenarios. In: IEEE International Conference on Requirements Engineering (2005)","DOI":"10.1109\/RE.2005.75"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/s00766-004-0194-4","volume":"10","author":"G Sindre","year":"2005","unstructured":"Sindre, G., Opdahl, A.L.: Eliciting security requirements with misuse cases. Requir. Eng. 10, 34\u201344 (2005)","journal-title":"Requir. Eng."},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-34614-9_4","volume-title":"Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology","author":"M Daun","year":"2012","unstructured":"Daun, M., Tenbergen, B., Weyer, T.: Requirements Viewpoint. In: Pohl, K., H\u00f6nninger, H., Achatz, R., Broy, M. (eds.) Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, pp. 51\u201368. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-34614-9_4"},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-34404-6_1","volume-title":"Complex Systems Design & Management","author":"M Broy","year":"2013","unstructured":"Broy, M.: Engineering cyber-physical systems: challenges and foundations. In: Aiguier, M., Caseau, Y., Krob, D., Rauzy, A. (eds.) Complex Systems Design & Management, pp. 1\u201313. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-34404-6_1"},{"key":"34_CR6","first-page":"20","volume":"18","author":"W Yang","year":"2018","unstructured":"Yang, W., Xu, C., Pan, M., Ma, X., Lu, J.: Improving verification accuracy of CPS by modeling and calibrating interaction uncertainty. ACM Trans. Internet Technol. 18, 20 (2018)","journal-title":"ACM Trans. Internet Technol."},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/1455229.1455232","volume":"14","author":"SV Gheorghita","year":"2009","unstructured":"Gheorghita, S.V., et al.: System-scenario-based design of dynamic embedded systems. ACM Trans. Autom. Electron. Syst. 14, 3:1\u20133:45 (2009)","journal-title":"ACM Trans. Autom. Electron. Syst."},{"key":"34_CR8","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.sysarc.2019.02.012","volume":"97","author":"J Brings","year":"2019","unstructured":"Brings, J., et al.: Model-based documentation of dynamicity constraints for collaborative cyber-physical system architectures: findings from an industrial case study. J. Syst. Archit. 97, 153\u2013167 (2019)","journal-title":"J. Syst. Archit."},{"key":"34_CR9","unstructured":"International Telecommunication Union: ITU-T Z.120\u202f: Message Sequence Chart (MSC)"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Daun, M., Brings, J., Krajinski, L., Weyer, T.: On the benefits of using dedicated models in validation processes for behavioral specifications. In: International Conference on Software and System Processes, pp. 44\u201353 (2019)","DOI":"10.1109\/ICSSP.2019.00016"},{"key":"34_CR11","unstructured":"Daun, M., Weyer, T., Pohl, K.: Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model. Softw. Syst. Model. 18(6), 3421\u20133459 (2019)"},{"key":"34_CR12","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1109\/TITS.2013.2278494","volume":"15","author":"V Milanes","year":"2014","unstructured":"Milanes, V., Shladover, S.E., Spring, J., Nowakowski, C., Kawazoe, H., Nakamura, M.: Cooperative adaptive cruise control in real traffic situations. IEEE Trans. Intell. Transp. Syst. 15, 296\u2013305 (2014)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"34_CR13","doi-asserted-by":"publisher","first-page":"301","DOI":"10.3182\/20050703-6-CZ-1902.01938","volume":"38","author":"A Ferrara","year":"2005","unstructured":"Ferrara, A.: Scaled experimental study of an automatic collision avoidance system for passenger cars. IFAC Proc. 38, 301\u2013306 (2005)","journal-title":"IFAC Proc."},{"key":"34_CR14","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1016\/j.asoc.2015.12.041","volume":"46","author":"A Ellahyani","year":"2016","unstructured":"Ellahyani, A., El Ansari, M., El Jaafari, I.: Traffic sign detection and recognition based on random forests. Appl. Soft Comput. 46, 805\u2013815 (2016)","journal-title":"Appl. Soft Comput."},{"key":"34_CR15","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Negative scenarios for implied scenario elicitation. 27, 109\u2013118 (2002)"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Whittle, J., Wijesekera, D., Hartong, M.: Executable misuse cases for modeling security concerns. In: 30th International Conference on Software Engineering, pp. 121\u2013130 (2008)","DOI":"10.1145\/1368088.1368106"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Greenyer, J., Gritzner, D., K\u00f6nig, F., Dahlke, J., Shi, J., Wete, E.: From scenario modeling to scenario programming for reactive systems with dynamic topology. In: 11th Joint Meeting Foundations of Software Engineering, pp. 974\u2013978 (2017)","DOI":"10.1145\/3106237.3122827"},{"key":"34_CR18","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-41638-5_6","volume-title":"Enterprise and Organizational Modeling and Simulation","author":"R Pergl","year":"2013","unstructured":"Pergl, R., Sales, T.P., Rybola, Z.: Instance-level modelling and simulation revisited. In: Barjis, J., Gupta, A., Meshkat, A. (eds.) EOMAS 2013. LNBIP, vol. 153, pp. 85\u2013100. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-41638-5_6"},{"key":"34_CR19","unstructured":"Jahn, M., Roth, B., Jablonski, S.: Instance specialization-a pattern for multi-level metamodelling. In: MULTI@ MoDELS, pp. 23\u201332 (2014)"},{"key":"34_CR20","doi-asserted-by":"crossref","unstructured":"Solmi, R.: Instance modeling assisted by an optional meta level. In: International Workshop on Domain-Specific Modeling, pp. 53\u201357. ACM (2016)","DOI":"10.1145\/3023147.3023156"},{"key":"34_CR21","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s10270-008-0095-y","volume":"8","author":"K Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. Softw. Syst. Model. 8, 479\u2013500 (2009)","journal-title":"Softw. Syst. Model."},{"key":"34_CR22","unstructured":"Haworth, B., Kirsopp, C., Roper, M., Shepperd, M., Webster, S.: Towards the development of adequacy criteria for object-oriented systems. In: 5th European Conference on Software Testing Analysis and Review. pp. 417\u2013427 (1997)"},{"key":"34_CR23","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/j.tcs.2016.02.017","volume":"656","author":"Y Matsuoka","year":"2016","unstructured":"Matsuoka, Y., Aoki, T., Inenaga, S., Bannai, H., Takeda, M.: Generalized pattern matching and periodicity under substring consistent equivalence relations. Theor. Comput. Sci. 656, 225\u2013233 (2016)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-33223-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T20:14:54Z","timestamp":1572207294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-33223-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030332228","9783030332235"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-33223-5_34","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":"15 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salvador","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","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":"4 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.inf.ufrgs.br\/er2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}