{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T05:03:14Z","timestamp":1769922194923,"version":"3.49.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319480022","type":"print"},{"value":"9783319480039","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48003-9_8","type":"book-chapter","created":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T02:46:36Z","timestamp":1480560396000},"page":"119-144","source":"Crossref","is-referenced-by-count":2,"title":["System Function Networks"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Albers","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Beck","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"B\u00fcker","sequence":"additional","affiliation":[]},{"given":"Marian","family":"Daun","sequence":"additional","affiliation":[]},{"given":"John","family":"MacGregor","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Salmon","sequence":"additional","affiliation":[]},{"given":"Raphael","family":"Weber","sequence":"additional","affiliation":[]},{"given":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"[Alfaro and Henzinger 2001] L. de Alfaro, T. Henzinger: Interface Automata. In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE-9), ACM, New York, 2001, pp. 109-120.","DOI":"10.1145\/503209.503226"},{"key":"8_CR2","unstructured":"[B\u00fcker 2013] M. B\u00fcker: An Automated Semantic-Based Approach for Creating Task Structures. In: PhD thesis, Carl von Ossietzky University of Oldenburg, 2013."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"[B\u00fcker et al. 2011] M. B\u00fcker, W. Damm, G. Ehmen, I. Stierand: An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. In: Proceedings of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2011.","DOI":"10.1007\/978-3-642-24431-5_12"},{"key":"8_CR4","unstructured":"[B\u00fcker et al. 2013] M, B\u00fcker, W. Damm, G. Ehmen, S, Henkler, D. Janssen, I. Stierand, E. Thaden: From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach. In: SAE International Journal of Passenger Cars- Electronic and Electrical Systems, VoL 6, 2013, pp. 194-212."},{"key":"8_CR5","unstructured":"[Daun et al. 2014b] M. Daun, T. Weyer, K. Pohl: Validating the Functional Design of Embedded Systems against Stakeholder Intentions. In: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, SciTePress, 2014, pp. 333-339."},{"key":"8_CR6","unstructured":"[Daun et al. 2014c] M. Daun, J. H\u00f6fflinger, T. Weyer: Function-Centered Engineering of Embedded Systems - Evaluating Industry Needs and Possible Solutions. In: L. Maciaszek (Eds.): Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress, 2014, pp. 226- 234."},{"key":"8_CR7","unstructured":"[Daun et al. 2015a] M. Daun, J. Brings, T. Bandyszak, P. Bohn, T. Weyer: Collaborating Multiple System Instances of Smart Cyber-Physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges. In: Proceedings of ICSE WS - International Workshop on Software Engineering for Smart Cyber\u00ad Physical Systems (SEsCPS'15), 2015, pp. 48-51."},{"key":"8_CR8","unstructured":"[Daun et al. 20l5b] M. Daun, B. Tenbergen, J. Brings, T. Weyer: Documenting Assumptions about the Operational Context of Long-Living Collaborative Embedded Systems. In: W. Zimmermann, W. B\u00f6hm, C. Grelck, R. Heinrich, R. Jung, M. Konersmann, A. Schlaefer, E. Schmieders, S. Schupp, B. T. Widemann, T. Weyer (Eds.): Software Engineering Worshops 2015 (SE-WS 2015) - Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Vol. 1337, CEUR-WS.org, 2015, pp. 115-117."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"[Daun et al. 2015c] M. Daun, T. Weyer, K. Pohl: Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems. In: Proceedings of the 21st International Conference on Requirements Engineering: Foundations for Software Quality (REFSQ), Springer, 2015, pp. 65-80.","DOI":"10.1007\/978-3-319-16101-3_5"},{"key":"8_CR10","unstructured":"[Daun et al. 2015d] M. Daun, A. Salmon, T. Weyer, K. Pohl: The Impact of Students\u2019 Skills and Experiences on Empirical Results: A Controlled Experiment with Undergraduate and Graduate Students. In: Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering (EASE), No. 29, 2015."},{"key":"8_CR11","unstructured":"[F\u00f6cker et al. 2015] F. F\u00f6cker, F. Houdek, M. Daun, T. Weyer: Model-Based Engineering of an Automotive Adaptive Exterior Lighting System. ICB Research Report, No 64. University of Duisburg-Essen, 2015."},{"key":"8_CR12","unstructured":"[Gezgin et al. 2011] T. Gezgin, R. Weber and M. Girod: A Refinement Checking Technique for Contract-Based Architecture Designs. In: Fourth International Workshop on Model-Based Architecting and Construction of Embedded Systems, 2011."},{"key":"8_CR13","unstructured":"[Gezgin et al. 2014] T. Gezgin, R. Weber, M. Oertel: Multi-Aspect Virtual Integration Approach for Real-Time and Safety Properties. In: International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14), IEEE, 2014."},{"key":"8_CR14","unstructured":"[ITU Z.120] International Telecommunication Union: Recommendation Z.l20: Message Sequence Charts. International Standard, 2011."},{"key":"8_CR15","unstructured":"[Reinkemeier et al. 2011] P. Reinkemeier, I. Stierand, P. Rehkop and S. Henkler: A pattern-based requirement specification language: Mapping automotive-specific timing requirements. In: Software Engineering 2011 Workshopband, Gesellschaft f\u00fcr lnformatik e.V. (Gl), 2011, pp. 99-108."},{"key":"8_CR16","unstructured":"[Vogelsang et al. 2012] A. Vogelsang, S. Eder, M. Feilkas, D. Ratiu: Functional Viewpoint. ln: K. Pohl, H. H\u00f6nninger, R. Achatz, M. Broy (Eds.): Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Berlin Heidelberg, 2012, pp. 69-84."}],"container-title":["Advanced Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48003-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:57:34Z","timestamp":1498352254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48003-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319480022","9783319480039"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48003-9_8","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}