{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:05:25Z","timestamp":1773615925621,"version":"3.50.1"},"reference-count":10,"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\/s0146411611070145","type":"journal-article","created":{"date-parts":[[2012,1,5]],"date-time":"2012-01-05T17:57:59Z","timestamp":1325786279000},"page":"437-443","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Distributed embedded control system design with verification support"],"prefix":"10.3103","volume":"45","author":[{"given":"I. V.","family":"Shoshmina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2012,1,6]]},"reference":[{"key":"6171_CR1","unstructured":"Royce, W.W., Managing the Development of Large Software Systems, Proc. 9th Int. Software Eng. Conf., 1987, pp. 328\u2013338."},{"key":"6171_CR2","unstructured":"Model Driven Architecture (MDA) ormsc\/2001-07-01: OMG, 2001."},{"key":"6171_CR3","volume-title":"Model Checking. Verifikatsiya parallel\u2019nykh i raspredelennykh programmnykh sistem","author":"Yu.G. Karpov","year":"2010","unstructured":"Karpov, Yu.G., Model Checking. Verifikatsiya parallel\u2019nykh i raspredelennykh programmnykh sistem (Model Checking. Verification of Parallel and Distributed Program Systems), St. Petersburg: BKhV-Petersburg, 2010."},{"key":"6171_CR4","unstructured":"Kruchten, P., The Rational Unified Process: An Introduction, Addison-Wesley Longman, 2003."},{"key":"6171_CR5","unstructured":"Pages, B., BoUML User Manual, 2010. http:\/\/bouml.free.fr"},{"key":"6171_CR6","unstructured":"Holzmann, G., Spin Model Checker, The Primer and Reference Manual, Addison Wesley, 2003."},{"key":"6171_CR7","volume-title":"Tekhnologiya XSLT","author":"A.N. Valikov","year":"2002","unstructured":"Valikov, A.N., Tekhnologiya XSLT (XSLT Technology), St. Petersburg: BKhV-Peterburg, 2002."},{"key":"6171_CR8","unstructured":"OMG Unified Modeling Language (OMG UML), Superstructure, v2.1.2, Object Management Group (OMG), 2007. http:\/\/www.omg.org\/spec\/UML\/2.l.2\/superstructure\/PDF"},{"key":"6171_CR9","volume-title":"Sistemy upravleniya i obrabotki informatsii","author":"A.A. Shalyto","year":"2003","unstructured":"Shalyto, A.A. and Tukkel\u2019, N.I., Project of Software for System of Control of Diesel Generators on the Base of Automaton Approach, in Sistemy upravleniya i obrabotki informatsii (Systems of Management and Treatment of Information), St. Petersburg: FGUP \u201cNPO Avrora\u201d, 2003."},{"issue":"part1","key":"6171_CR10","first-page":"99","volume":"8","author":"A.Ya. Kalinov","year":"2004","unstructured":"Kalinov, A.Ya., Kosachev, A.S., Posypkin, M.A., and Sokolov, A.A., Automatic Generation of Tests for Graphic User Interface for UML Action Diagrams, in Trudy instituta sistemnogo programmirovaniya Ross. Akad. Nauk, (Papers Inst. System Programming Russ. Acad. Sci.), Moscow, 2004, vol. 8,part 1, pp. 99\u2013117.","journal-title":"Trudy instituta sistemnogo programmirovaniya Ross. Akad. Nauk"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070145.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411611070145","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070145.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:07:20Z","timestamp":1773612440000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411611070145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":10,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["6171"],"URL":"https:\/\/doi.org\/10.3103\/s0146411611070145","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":"25 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"}}]}}