{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:10:32Z","timestamp":1743012632602,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"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-47169-3_58","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"774-783","source":"Crossref","is-referenced-by-count":9,"title":["A Fully Model-Based Approach to Software Development for Industrial Centrifuges"],"prefix":"10.1007","author":[{"given":"Nils","family":"Wortmann","sequence":"first","affiliation":[]},{"given":"Malte","family":"Michel","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Naujokat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"58_CR1","unstructured":"ISO 10628\u20131: 2015. International Organization for Standardization, 1st edn. Geneva, Switzerland, September 2014"},{"key":"58_CR2","unstructured":"Beckhoff: TwinCAT 3. http:\/\/www.beckhoff.de\/twincat3 , August 2016"},{"issue":"3","key":"58_CR3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"58_CR4","unstructured":"Jeschke, S.: Standardization in the Era of 4.0. Presentation DKE-Conference 2016, May 2016"},{"key":"58_CR5","volume-title":"Handbook of Research on Business Process Modeling","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global, Hershey (2009)"},{"key":"58_CR6","unstructured":"Marrano, S.J.: Process and Instrumentation Diagram Development in Water and Waste Water Treatment Plants"},{"key":"58_CR7","unstructured":"MathWorks: MathWorks. http:\/\/www.mathworks.com\/products\/stateflow\/ , August 2016"},{"key":"58_CR8","unstructured":"Microsoft Corporation: XAML. https:\/\/msdn.microsoft.com\/en-us\/library\/cc189054 , August 2016"},{"key":"58_CR9","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools (2016, to appear)","DOI":"10.1007\/s10009-017-0453-6"},{"key":"58_CR10","unstructured":"Siemens: S7 Graph V5.1 for S7\u2013300\/400 Programming Sequential Control Systems, 5th edn. Siemens (2001)"},{"key":"58_CR11","doi-asserted-by":"crossref","unstructured":"Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. In: LNCS Transactions on Foundations for Mastering Change (FoMaC), vol. 1(1) (2016)","DOI":"10.1007\/978-3-319-46508-1_3"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:10:05Z","timestamp":1568434205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}