{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:53:12Z","timestamp":1773615192865,"version":"3.50.1"},"reference-count":7,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"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. Conrol Comp. Sci."],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.3103\/s0146411611070042","type":"journal-article","created":{"date-parts":[[2012,1,5]],"date-time":"2012-01-05T17:57:59Z","timestamp":1325786279000},"page":"380-389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Safe simulation testing of systems with refusals and destructions"],"prefix":"10.3103","volume":"45","author":[{"given":"I. B.","family":"Burdonov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. S.","family":"Kosachev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2012,1,6]]},"reference":[{"issue":"5","key":"6163_CR1","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1134\/S0361768807050015","volume":"33","author":"I.B. Burdonov","year":"2007","unstructured":"Burdonov, I.B., Kosachev, A.S., and Kulyamin, V.V., Formalization of Test Experiments, Program. Comput. Software 2007, vol. 33, no. 5, pp. 239\u2013260.","journal-title":"Program. Comput. Software"},{"key":"6163_CR2","unstructured":"Burdonov, I.B., Theory of Conformity for Functional Testing of Programming Systems Based on Formal Models, Doctoral (Phys.-Math.) Dissertation, Moscow, 2008, Available from: http:\/\/www.ispras.ru\/redverst\/publications\/tr-01-2007.pdf"},{"key":"#cr-split#-6163_CR3.1","doi-asserted-by":"crossref","unstructured":"Bernot, G., Testing against Formal Specifications: A Theoretical View, Proc.4th Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT'91), Abramsky, S. and Maibaum, T.S.E., Eds., Brighton, 1991, vol. 2, pp. 99-119","DOI":"10.1007\/3540539816_63"},{"key":"#cr-split#-6163_CR3.2","doi-asserted-by":"crossref","unstructured":"Lect. Notes Comput. Sci., 1991, vol. 494, pp. 99-119.","DOI":"10.1016\/S0022-3476(05)82073-6"},{"key":"6163_CR4","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., The Linear Time\u2014Branching Time Spectrum II. The Semantics of Sequential Processes with Silent Moves, Proc. 4th Int. Conf. on Concurrency Theory, (CONCUR\u201993), Best, E., Ed., Hildesheim, Germany, 1993; Lect. Notes Compt. Sci., 1993, vol. 715, pp. 66\u201381.","DOI":"10.1007\/3-540-57208-2_6"},{"key":"6163_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-15670-4_10","volume":"197","author":"R. Milner","year":"1986","unstructured":"Milner, R., Lectures on a Calculus for Communicating Systems, Proc. Semin. on Concurrency, Lect. Notes Compt. Sci., 1986, vol. 197, pp. 197\u2013220.","journal-title":"Proc. Semin. on Concurrency, Lect. Notes Compt. Sci."},{"key":"6163_CR6","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R., Communication and Concurrency, New York: Prentice-Hall, 1989."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070042.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411611070042","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070042.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:56:36Z","timestamp":1773611796000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411611070042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":7,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["6163"],"URL":"https:\/\/doi.org\/10.3103\/s0146411611070042","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"13 October 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 January 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}