{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:27:35Z","timestamp":1773617255433,"version":"3.50.1"},"reference-count":8,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"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":["Autom Remote Control"],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1134\/s0005117923060048","type":"journal-article","created":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T13:01:28Z","timestamp":1696165288000},"page":"606-611","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Preset Homing and Synchronizing Sequences for Observable Input\/Output Automata"],"prefix":"10.1134","volume":"84","author":[{"given":"I. B.","family":"Burdonov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. V.","family":"Evtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. S.","family":"Kossachev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. G.","family":"Kushik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2023,10,1]]},"reference":[{"key":"2411_CR1","unstructured":"Gill, A., Vvedenie v teoriyu konechnykh avtomatov (Introduction to the Theory of Finite-State Machines), Moscow: Nauka, 1966."},{"key":"2411_CR2","unstructured":"Evtushenko, N.V. and Kushik, N.G., Nekotorye zadachi identifikatsii sostoyanii dlya nedeterminirovannykh avtomatov (Some Problems of Identifying the States of Non-Deterministic Finite State Machines), Tomsk: STT Publishing, 2018."},{"key":"2411_CR3","doi-asserted-by":"publisher","first-page":"634","DOI":"10.26907\/1562-5419-2020-23-4-634-655","volume":"23","author":"I. Burdonov","year":"2020","unstructured":"Burdonov, I., Yevtushenko, N., Kossatchev, A., Separating Input\/Output Automata with Nondeterministic Behavior, Rus. Diginal Librar. J., 2020, vol. 23, no. 4, pp. 634\u2013655.","journal-title":"Rus. Diginal Librar. J."},{"key":"2411_CR4","doi-asserted-by":"crossref","unstructured":"Hennie, F., Fault Detecting Experiments for Sequential Circuits, 5th Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, USA, November 11\u201313, 1964, pp. 95\u2013110.","DOI":"10.1109\/SWCT.1964.8"},{"key":"2411_CR5","doi-asserted-by":"crossref","unstructured":"Kushik, N., L\u00f3pez, J., Cavalli, A., and Yevtushenko, N., Improving Protocol Passive Testing through \u201cGedanken\u201d Experiments with Finite State Machines, 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, August 1\u20133, 2016, pp. 315\u2013322.","DOI":"10.1109\/QRS.2016.43"},{"key":"2411_CR6","unstructured":"Kushik, N., Yevtushenko, N., Burdonov, I., and Kossachev, A., Synchronizing and Homing Experiments for Input\/Output Automata, Syst. \n               Inform., 2017, no. 10, pp. 1\u201310."},{"key":"2411_CR7","volume-title":"Homing and Synchronizing Sequences","author":"S. Sandberg","year":"2004","unstructured":"Sandberg, S., Homing and Synchronizing Sequences, Model-Based Testing of Reactive Systems, Advanced Lectures (The Volume Is the Outcome of a Research Seminar That Was Held in Schloss Dagstuhl in January 2004), 2004, pp. 5\u201333."},{"key":"2411_CR8","unstructured":"Tretmans, J., A Formal Approach to Conformance Testing, Protocol Test Systems, VI, Proceedings of the IFIP TC6\/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, September 28\u201330, 1993, pp.\u00a0257\u2013276."}],"container-title":["Automation and Remote Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117923060048.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0005117923060048","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117923060048.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:38:45Z","timestamp":1773614325000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0005117923060048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":8,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["2411"],"URL":"https:\/\/doi.org\/10.1134\/s0005117923060048","relation":{},"ISSN":["0005-1179","1608-3032"],"issn-type":[{"value":"0005-1179","type":"print"},{"value":"1608-3032","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6]]},"assertion":[{"value":"24 December 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 January 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 January 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 October 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}