{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:58:10Z","timestamp":1773615490761,"version":"3.50.1"},"reference-count":8,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"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":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.3103\/s0146411614070244","type":"journal-article","created":{"date-parts":[[2015,1,30]],"date-time":"2015-01-30T19:16:45Z","timestamp":1422645405000},"page":"554-563","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Modeling, specification and construction of PLC-programs"],"prefix":"10.3103","volume":"48","author":[{"given":"E. V.","family":"Kuzmin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. A.","family":"Sokolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2015,2,1]]},"reference":[{"key":"6357_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D Gries","year":"1981","unstructured":"Gries, D., The Science of Programming, Springer-Verlag, 1981."},{"key":"6357_CR2","volume-title":"Model Checking","author":"EM Clark","year":"2001","unstructured":"Clark, E.M., Grumberg, O., and Peled, D.A., Model Checking, Mass. Inst. Technol., 2001."},{"key":"6357_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.18255\/1818-1015-2012-4-25-36","volume":"19","author":"EV Kuzmin","year":"2012","unstructured":"Kuzmin, E.V. and Sokolov, V.A., On construction and verification of PLC-programs, Model. Analis Inform. Sist., 2012, vol. 19, pp. 25\u201336.","journal-title":"Model. Analis Inform. Sist."},{"key":"6357_CR4","doi-asserted-by":"crossref","first-page":"138","DOI":"10.18255\/1818-1015-2012-2-138-144","volume":"19","author":"EV Kuzmin","year":"2012","unstructured":"Kuzmin, E.V. and Sokolov, V.A., On verification of PLC-programs written in the LD-language, Model. Analis Inform. Sist., 2012, vol. 19, pp. 138\u2013144.","journal-title":"Model. Analis Inform. Sist."},{"key":"6357_CR5","volume-title":"Programmable Controllers. An engineer\u2019s guide","author":"EA Parr","year":"2003","unstructured":"Parr, E.A., Programmable Controllers. An engineer\u2019s guide, Newnes, 2003."},{"key":"6357_CR6","volume-title":"Programmiruemye kontrollery. Standartnye jazyki i priemy prikladnogo proektirovanija","author":"IV Petrov","year":"2004","unstructured":"Petrov, I.V., Programmiruemye kontrollery. Standartnye jazyki i priemy prikladnogo proektirovanija (Programmed Controllers. Standard Languages and Methods of Applied Design) Moscow: SOLON, 2004."},{"key":"6357_CR7","unstructured":"CoDeSys. Controller Development System, http:\/\/www.3s-software.com\/"},{"key":"6357_CR8","unstructured":"SMV. The Cadence SMV Model Checker, http:\/\/www.kenmcmil.com\/smv.html"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614070244.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411614070244","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614070244","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614070244.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:00:36Z","timestamp":1773612036000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411614070244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":8,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["6357"],"URL":"https:\/\/doi.org\/10.3103\/s0146411614070244","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12]]},"assertion":[{"value":"10 January 2013","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2015","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}