{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T20:12:14Z","timestamp":1770408734714,"version":"3.49.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319296272","type":"print"},{"value":"9783319296289","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-29628-9_5","type":"book-chapter","created":{"date-parts":[[2016,2,28]],"date-time":"2016-02-28T21:04:31Z","timestamp":1456693471000},"page":"256-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Cyber-Physical Systems Engineering"],"prefix":"10.1007","author":[{"given":"Bernd-Holger","family":"Schlingloff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,1]]},"reference":[{"key":"5_CR1","unstructured":"Boston Scientific Inc. PACEMAKER System Specification (2007). http:\/\/sqrl.mcmaster.ca\/_SQRLDocuments\/PACEMAKER. Accessed October 2015"},{"key":"5_CR2","volume-title":"Writing Effective Use Cases","author":"A Cockburn","year":"2001","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Boston (2001)"},{"key":"5_CR3","unstructured":"Eclipse Foundation. Papyrus 1.1.0, June 2015. https:\/\/eclipse.org\/papyrus. Accessed October 2015"},{"key":"5_CR4","unstructured":"Giese, H., Huhn, M., Phillips, J., Sch\u00e4tz, B. (eds.): Dagstuhl-Workshop MBEES: Model Based Engineering of Embeddedsystems X, Dagstuhl, Germany. fortiss GmbH, M\u00fcnchen (2014). https:\/\/www4.in.tum.de\/~schaetz\/papers\/MBEES2014.pdf. Accessed October 2015"},{"key":"5_CR5","unstructured":"Giese, H., Huhn, M., Phillips, J., Sch\u00e4tz, B. (eds.): Dagstuhl-Workshop MBEES: Model Based Engineering of Embeddedsystems XI, Dagstuhl, Germany. fortiss GmbH, M\u00fcnchen (2015). https:\/\/www4.in.tum.de\/~schaetz\/papers\/MBEES2015.pdf. Accessed October 2015"},{"key":"5_CR6","unstructured":"INCOSE (International Council on Systems Engineering). Systems Engineering Handbook, vol. 2.0. (2000)"},{"key":"5_CR7","unstructured":"ISO (International Organization for Standardization). ISO\/IEC 15288:2008 \u2013 Systems engineering - System life cycle processes (2008)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Kordon, F., Hugues, J., Canals, A., Dohet, A.: Embedded Systems: Analysis and Modeling with SysML, UML and AADL. ISTE, Wiley (2013)","DOI":"10.1002\/9781118569535"},{"key":"5_CR9","unstructured":"Lethbridge, T. (ed.): Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa. ACM\/IEEE (2015)"},{"key":"5_CR10","unstructured":"OMG (Object Management Group). SysML 1.4, June 2015. http:\/\/www.omgsysml.org. Accessed October 2015"},{"key":"5_CR11","unstructured":"OMG (Object Management Group). UML 2.5, June 2015. http:\/\/www.omg.org\/spec\/UML. Accessed October 2015"},{"key":"5_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Birkh\u00e4user, Heidelberg (2005)"},{"key":"5_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34614-9","volume-title":"Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology","author":"K Pohl","year":"2012","unstructured":"Pohl, K., H\u00f6nninger, H., Achatz, R., Broy, M.: Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Heidelberg (2012)"},{"key":"5_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12578-2","volume-title":"Requirements Engineering: Fundamentals, Principles, and Techniques","author":"K Pohl","year":"2010","unstructured":"Pohl, K.: Requirements Engineering: Fundamentals, Principles, and Techniques. Springer, Heidelberg (2010)"},{"key":"5_CR15","unstructured":"Schlingloff, B.-H.:Towards a curriculum for model-based engineering of embedded systems. In: Giese et\u00a0al. [GHPS14]. https:\/\/www4.in.tum.de\/~schaetz\/papers\/MBEES2014.pdf. Accessed October 2015"},{"key":"5_CR16","volume-title":"Software Engineering","author":"I Sommerville","year":"2010","unstructured":"Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley, Boston (2010)","edition":"9"},{"key":"5_CR17","series-title":"Computational Analysis, Synthesis, and Design of Dynamic Systems","volume-title":"Model-Based Testing for Embedded Systems","year":"2011","unstructured":"Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.): Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, and Design of Dynamic Systems. CRC Press, Boca Raton (2011)"}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29628-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T09:57:50Z","timestamp":1770371870000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-29628-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319296272","9783319296289"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29628-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"1 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}