{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:21:16Z","timestamp":1742988076143,"version":"3.40.3"},"publisher-location":"London","reference-count":4,"publisher":"Springer London","isbn-type":[{"type":"electronic","value":"9781447151029"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-1-4471-5102-9_257-1","type":"book-chapter","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T14:30:38Z","timestamp":1417530638000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Programmable Logic Controllers"],"prefix":"10.1007","author":[{"given":"Georg","family":"Frey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,5]]},"reference":[{"key":"257-1_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1109\/87.406973","volume":"3","author":"R David","year":"1995","unstructured":"David R (1995) Grafcet: a powerful tool for specification of logic controllers. IEEE Trans Control Syst Technol 3:253\u2013268","journal-title":"IEEE Trans Control Syst Technol"},{"key":"257-1_CR2","doi-asserted-by":"crossref","unstructured":"Frey G, Litz L (2000) Formal methods in PLC programming. In: Proceedings of the IEEE conference on systems man and cybernetics SMC 2000, Nashville, Tennessee, pp\u00a02431\u20132436","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"257-1_CR3","volume-title":"IEC 61131\u20133: programming industrial automation system: concepts and programming languages, requirements for programming systems, aids to decision-making tools","author":"K John","year":"2010","unstructured":"John K, Tiegelkamp M (2010) IEC 61131-3: programming industrial automation system: concepts and programming languages, requirements for programming systems, aids to decision-making tools, 2nd edn. Springer, Berlin","edition":"2"},{"key":"257-1_CR4","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1109\/TII.2011.2166785","volume":"7","author":"V Vyatkin","year":"2011","unstructured":"Vyatkin V (2011) IEC 61499 as enabler of distributed and intelligent automation: state-of-the-art review. IEEE Trans Ind Inform 7:768\u2013781","journal-title":"IEEE Trans Ind Inform"}],"container-title":["Encyclopedia of Systems and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-5102-9_257-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T16:09:30Z","timestamp":1676909370000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-5102-9_257-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9781447151029"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-5102-9_257-1","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"16 October 2014, 17:52:11","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"16 October 2014, 17:52:11","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"5 November 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}