{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:44Z","timestamp":1775053484168,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540657033","type":"print"},{"value":"9783540490593","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-49059-0_27","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"390-404","source":"Crossref","is-referenced-by-count":3,"title":["DYANA: An Environment for Embedded System Design and Analysis"],"prefix":"10.1007","author":[{"given":"A. G.","family":"Bakhmurov","sequence":"first","affiliation":[]},{"given":"A. P.","family":"Kapitonova","sequence":"additional","affiliation":[]},{"given":"R. L.","family":"Smeliansky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"27_CR1","unstructured":"R. L. Smeliansky, Yu.P. Kazakov, Yu.V. Bakalov, The combined approach to the distributed computer system simulation, in Proc Conference on Parallel Computing Technologies, Novosibirsk, Scientific Centre, Sept. 1991."},{"key":"27_CR2","volume-title":"The instrumental system for estimation of computational complexity in programs","author":"A. P. Kapitonova","year":"1991","unstructured":"A. P. Kapitonova, I. A. Terehov, R. L. Smeliansky, The instrumental system for estimation of computational complexity in programs, MSU Press, Moscow 1991 (in Russian)."},{"key":"27_CR3","unstructured":"R. L. Smeliansky, Program behavior invariant as the basis for system performance estimation, in Proc Conference on Parallel Computing Technologies, Obninsk, Russia, Sept. 1993."},{"key":"27_CR4","first-page":"4","volume":"3","author":"R. L. Smeliansky","year":"1990","unstructured":"R. L. Smeliansky, Distributed computer system operation model, Moscow University Computational Mathematics and Cybernetics, 3(1990), p. 4\u201316.","journal-title":"Moscow University Computational Mathematics and Cybernetics"},{"key":"27_CR5","unstructured":"Yu. Bakalov, R. Smeliansky, M 2-SPEC: A Language for Distributed Program Behaviour Specification. Proc. of PARCELLA-96 Berlin, 1996."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"B. Selic, G. Gullelson, J. McGee, and I. Engelberg, \u201cROOM: An Object-Oriented Methodology for Developing Real-Time Systems\u201d, in Proc. 5th International Workshop on CASE, Montreal, Canada, 1992.","DOI":"10.1109\/CASE.1992.200156"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"T. Lewis, The next 10,0002 years. Computer, April, 1996, pp.64\u201371","DOI":"10.1109\/2.488302"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"O. Tanir, S. Sevinc, Defining Reguirements for a Standart Simulation Environment. Computer, February, 1994, pp.28\u201334.","DOI":"10.1109\/2.261917"},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/244804.244807","volume":"7","author":"M. Rosenblum","year":"1997","unstructured":"M. Rosenblum et. al., Using the SimOS Machine Simulator to Study Complex Computer Systems. ACM Trans. on Modelling and Computer Simulation, V. 7, No. 1, January 1997, P.78\u2013103","journal-title":"ACM Trans. on Modelling and Computer Simulation"},{"key":"27_CR10","unstructured":"Telelogic home page http:\/\/www.telelogic.se\/"},{"key":"27_CR11","unstructured":"Ptolemy project home page http:\/\/ptolemy.eecs.berkeley.edu"},{"key":"27_CR12","unstructured":"Y. Kazakov, R. Smeliansky, Organization of synchronization algorithms in distributed simulation, in Proc. of 2nd Russian-Turkish seminar \u2018New High Information Technologies\u2019, May 9-12, 1994, Gebre, Turkey."},{"key":"27_CR13","unstructured":"ObjecTime Limited home page, http:\/\/www.objectime.com"},{"key":"27_CR14","unstructured":"V. V. Balashov, A. P. Kapitonova, V. A. Kostenko, R. L. Smeliansky, N. V. Youshchenko, Modelling of digital signal processors based on the static-dynamic approach, in Proc. of the 1st International Conference \u201cDigital Signal Processing and its Applications\u201d, June, 30th \u2014 July, 3rd, 1998, Moscow."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:00:37Z","timestamp":1556967637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3,12]]},"ISBN":["9783540657033","9783540490593"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999,3,12]]}}}