{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:04:32Z","timestamp":1773615872637,"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\/s0146411614070256","type":"journal-article","created":{"date-parts":[[2015,1,30]],"date-time":"2015-01-30T19:16:45Z","timestamp":1422645405000},"page":"602-614","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Modeling a consistent behavior of PLC-sensors"],"prefix":"10.3103","volume":"48","author":[{"given":"E. V.","family":"Kuzmin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. A.","family":"Ryabukhin","sequence":"additional","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":[{"issue":"2","key":"6363_CR1","doi-asserted-by":"crossref","first-page":"26","DOI":"10.18255\/1818-1015-2014-2-26-38","volume":"21","author":"DA Ryabukhin","year":"2014","unstructured":"Ryabukhin, D.A., Kuzmin, E.V., and Sokolov, V.A., Construction of PLC IL-programs by ITL-specification, Model. Analis Inform. Sist., 2014, vol. 21, no. 2, pp. 26\u201338.","journal-title":"Model. Analis Inform. Sist."},{"issue":"6","key":"6363_CR2","doi-asserted-by":"crossref","first-page":"78","DOI":"10.18255\/1818-1015-2013-6-78-94","volume":"20","author":"EV Kuzmin","year":"2013","unstructured":"Kuzmin, E.V., Sokolov, V.A., and Ryabukhin, D.A., Construction and verification of PLC LD-programs by lTL-specification, Model. Analis Inform. Sist., 2013, vol. 20, no. 6, pp. 78\u201394.","journal-title":"Model. Analis Inform. Sist."},{"issue":"4","key":"6363_CR3","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. Analis Inform. Sist., 2013, vol. 20, no. 4, pp. 5\u201322.","journal-title":"Model. Analis Inform. Sist."},{"key":"6363_CR4","first-page":"17","volume-title":"Proc. Int. Conf. \u201cTools and Methods of Program Analysis\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. Conf. \u201cTools and Methods of Program Analysis\u201d, Kostroma, 2013, pp. 17\u201334."},{"issue":"2","key":"6363_CR5","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. Analis Inform. Sist., 2013, vol. 20, no. 2, pp. 104\u2013120.","journal-title":"Model. Analis Inform. Sist."},{"key":"6363_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":"6363_CR7","volume-title":"Model Checking","author":"EM Clark","year":"2001","unstructured":"Clark, E.M., Grumberg, O., and Peled, D.A., Model Checking, The MIT Press, 2001."},{"key":"6363_CR8","unstructured":"CoDeSys. Controller Development System. http:\/\/www.3s-software.com\/"},{"key":"6363_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":"6363_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\/S0146411614070256.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411614070256","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614070256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614070256.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:06:00Z","timestamp":1773612360000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411614070256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":10,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["6363"],"URL":"https:\/\/doi.org\/10.3103\/s0146411614070256","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":"4 August 2014","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"}}]}}