{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:40:47Z","timestamp":1773654047722,"version":"3.50.1"},"reference-count":10,"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\/s014641161407013x","type":"journal-article","created":{"date-parts":[[2015,1,30]],"date-time":"2015-01-30T19:16:45Z","timestamp":1422645405000},"page":"424-436","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Construction and verification of PLC LD programs by the LTL specification"],"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"}]},{"given":"D. A.","family":"Ryabukhin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2015,2,1]]},"reference":[{"issue":"4","key":"6344_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.18255\/1818-1015-2013-4-5-22","volume":"20","author":"EV Kuzmin","year":"2013","unstructured":"Kuzmin, E.V., Sokolov, V.A., and Ryabukhin, D.A., Construction and verification of PLC-programs by LTL-specification, Model. Anal. Inform. Sist., 2013, vol. 20, no. 4, pp. 5\u201322.","journal-title":"Model. Anal. Inform. Sist."},{"key":"6344_CR2","first-page":"17","volume-title":"Proc. Int. Sci.-Prac. Conf. \u201cTools and Methods of Program Analysis (TMPA-2013)\u201d Kostroma","author":"EV Kuzmin","year":"2013","unstructured":"Kuzmin, E.V., Ryabukhin, D.A., and Shipov, A.A., Construction and verification of PLC-programs by LTL-specification, Proc. Int. Sci.-Prac. Conf. \u201cTools and Methods of Program Analysis (TMPA-2013)\u201d Kostroma, Kostr. State Tech. Univ, 2013, pp. 17\u201334."},{"issue":"2","key":"6344_CR3","doi-asserted-by":"crossref","first-page":"104","DOI":"10.18255\/1818-1015-2013-2-104-120","volume":"20","author":"EV Kuzmin","year":"2013","unstructured":"Kuzmin, E.V. and Sokolov, V.A., Modeling, specification and construction of PLC-programs, Model. Anal. Inform. Sist., 2013, vol. 20, no. 2, pp. 104\u2013120.","journal-title":"Model. Anal. Inform. Sist."},{"issue":"4","key":"6344_CR4","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. Anal. Inform. Sist., 2012, vol. 19, no. 4, pp. 25\u201336.","journal-title":"Model. Anal. Inform. Sist."},{"issue":"2","key":"6344_CR5","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. Anal. Inform. Sist., 2012, vol. 19, no. 2, pp. 138\u2013144.","journal-title":"Model. Anal. Inform. Sist."},{"key":"6344_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 Techniques of Applied Design), Moscow: SOLON, 2004."},{"key":"6344_CR7","volume-title":"Model Checking","author":"EM Clark","year":"2001","unstructured":"Clark, E.M., Grumberg, O., and Peled, D.A., Model Checking, MIT, 2001."},{"key":"6344_CR8","unstructured":"CoDeSys. Controller Development System. http:\/\/www.3s-software.com\/"},{"key":"6344_CR9","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":"6344_CR10","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\/S014641161407013X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S014641161407013X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S014641161407013X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S014641161407013X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:59:50Z","timestamp":1773611990000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S014641161407013X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":10,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["6344"],"URL":"https:\/\/doi.org\/10.3103\/s014641161407013x","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":"28 October 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"}}]}}