{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:50Z","timestamp":1742914250176,"version":"3.40.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319646343"},{"type":"electronic","value":"9783319646350"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-64635-0_7","type":"book-chapter","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T00:22:56Z","timestamp":1501460576000},"page":"80-91","source":"Crossref","is-referenced-by-count":2,"title":["Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification"],"prefix":"10.1007","author":[{"given":"Victor","family":"Dubinin","sequence":"first","affiliation":[]},{"given":"Ilya","family":"Senokosov","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,1]]},"reference":[{"key":"7_CR1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Pearson, Upper Saddle River (2006)","edition":"3"},{"volume-title":"Model-Driven Software Development","year":"2005","key":"7_CR2","unstructured":"Sami, B., Book, M., Gruhn, V. (eds.): Model-Driven Software Development. Springer, London (2005)"},{"key":"7_CR3","volume-title":"IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design","author":"V Vyatkin","year":"2015","unstructured":"Vyatkin, V.: IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, 3rd edn. Instrumentation Society of America, Pittsburgh (2015)","edition":"3"},{"key":"7_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-55481-0","volume-title":"Programming in Prolog: Using the ISO Standard","author":"W Kloksin","year":"2003","unstructured":"Kloksin, W., Mellish, C.: Programming in Prolog: Using the ISO Standard, 5th edn. Springer, Heidelberg (2003)","edition":"5"},{"key":"7_CR5","volume-title":"Non-deterministic Automata and Their Application for Implementation of Information Parallel Processing","author":"NP Vashkevich","year":"2016","unstructured":"Vashkevich, N.P., Biktashev, R.A.: Non-deterministic Automata and Their Application for Implementation of Information Parallel Processing. Penza State University Publisher, Penza (2016)"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-28554-7_5","volume-title":"Model-Driven Software Development","author":"L Grunske","year":"2005","unstructured":"Grunske, L., Geiger, L., Zuendorf, A., Eetvelde, N.V., Gorp, P.V., Varro, D.: Graph transformation for practical model driven software engineering. In: Beydeda, S., Book, M., Gruhn, V. (eds.) Model-Driven Software Development, pp. 91\u2013118. Springer, Heidelberg (2005)"},{"key":"7_CR7","unstructured":"NxtControl Homepage. \nhttp:\/\/www.nxtcontrol.com\/"}],"container-title":["Lecture Notes in Computer Science","Industrial Applications of Holonic and Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64635-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T08:24:32Z","timestamp":1501489472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64635-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319646343","9783319646350"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64635-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}