{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T00:02:59Z","timestamp":1715817779346},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s11334-013-0197-8","type":"journal-article","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T18:02:15Z","timestamp":1374688935000},"page":"55-69","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and analysis of interactive telemedicine systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Jing","family":"Liu","sequence":"first","affiliation":[]},{"given":"Xijiao","family":"Xiong","sequence":"additional","affiliation":[]},{"given":"Zuohua","family":"Ding","sequence":"additional","affiliation":[]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,25]]},"reference":[{"key":"197_CR1","unstructured":"Telemedicine (2011) Wikipedia. http:\/\/en.wikipedia.org\/wiki\/Telemedicine"},{"issue":"4","key":"197_CR2","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z Chen","year":"2009","unstructured":"Chen Z, Liu Z, Ravn A, Stolz V, Zhan N (2009) Refinement and verification in component-based model driven design. Sci Comput Program 74(4):126\u2013168","journal-title":"Sci Comput Program"},{"key":"197_CR3","doi-asserted-by":"crossref","unstructured":"Chen X, Liu Z, Mencl V (2007) Separation of concerns and consistent integration in requirements modelling. In: Proceedings of current trends in theory and practice of computer science (SOFSEM07). Lecture Notes in Computer Science, vol. 4362, pp 819\u2013831","DOI":"10.1007\/978-3-540-69507-3_71"},{"key":"197_CR4","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-642-03764-1_7","volume":"5560","author":"A Carton","year":"2006","unstructured":"Carton A, Driver C, Jackson A, Clarke S (2006) Model-driven theme\/UML. Trans Aspect Oriented Softw Dev 5560:238\u2013266","journal-title":"Trans Aspect Oriented Softw Dev"},{"key":"197_CR5","doi-asserted-by":"crossref","unstructured":"Wei K, Li X, Liu Z, Stolz V (2012) rCOS: a formal model-driven engineering method for component-based software. Frontiers of computer science in China, vol 6, pp 17\u201339","DOI":"10.1007\/s11704-012-2901-5"},{"issue":"1\u20132","key":"197_CR6","first-page":"109","volume":"365","author":"J He","year":"2006","unstructured":"He J, Li X, Liu Z (2006) rCOS: a refinement calculus for object systems. Theor Comput Sci 365(1\u20132):109\u2013142","journal-title":"Theor Comput Sci"},{"key":"197_CR7","unstructured":"Liu Z, S Martin, Zhang N, Zhu J (2010) Composable automata for component interfaces. Technical Report 446, UNU-IIST, P.O. Box 3058, Macau. http:\/\/www.iist.unu.edu\/index.php\/research\/technical-reports"},{"key":"197_CR8","unstructured":"Object Management Group: UML Profile for MARTE, 1.1 OMG document number: ptc\/10-10-09"},{"key":"197_CR9","volume-title":"Real-time UML: developing efficient objects for embedded systems","author":"P Bruce","year":"1997","unstructured":"Bruce P (1997) Real-time UML: developing efficient objects for embedded systems. Addison-Wesley, Longman Publishing Co., Inc., Boston"},{"key":"197_CR10","unstructured":"Nicolas H, Doron P, Rajeev A (1999) Timed automata. Lecture Notes Comput Sci 1633(688) (Springer, Heidelberg)"},{"issue":"12","key":"197_CR11","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E Lee","year":"1998","unstructured":"Lee E (1998) A framework for comparing models of computation. IEEE Trans Comput Aided Des Integr Circuits Syst 17(12):1217\u20131229","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"197_CR12","doi-asserted-by":"crossref","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64\u201383","DOI":"10.1109\/JPROC.2002.805826"},{"issue":"1","key":"197_CR13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker J, Janneck J, Lee E, Liu J, Liu X et al (2003) Taming heterogeneity\u2014the Ptolemy approach. Proc IEEE 91(1):127\u2013144","journal-title":"Proc IEEE"},{"key":"197_CR14","doi-asserted-by":"crossref","DOI":"10.1201\/9781420048025","volume-title":"Embedded multiprocessors scheduling and synchronization","author":"S Sriram","year":"2009","unstructured":"Sriram S, Bhattacharyya S (2009) Embedded multiprocessors scheduling and synchronization, 2nd edn. CRC, Boca Raton","edition":"2"},{"key":"197_CR15","doi-asserted-by":"crossref","unstructured":"Feautrier P (1995) Compiling for massively parallel architectures: a perspective. Microprogram Microprocess 41:425\u2013439","DOI":"10.1016\/0165-6074(95)00025-J"},{"key":"197_CR16","doi-asserted-by":"crossref","unstructured":"Lynch N, Tuttle M (1987) Hierarchical correctness proofs for distributed algorithms. In: PODC, pp 137\u2013151","DOI":"10.1145\/41840.41852"},{"key":"197_CR17","unstructured":"Lynch N, Tuttle M (1989) An introduction to input\/output automata. CWI Q 2:219\u2013246"},{"key":"197_CR18","doi-asserted-by":"crossref","unstructured":"Fiadeiro J, Lopes A, Bocchi L (2006) A formal approach to service component architecture. Lecture Notes Comput Sci 4184:193\u2013213","DOI":"10.1007\/11841197_13"},{"key":"197_CR19","unstructured":"Chen X, He J, Liu Z, Zhang N (2007) A model of component-based programming. Lecture Notes Comput Sci (4767)"},{"key":"197_CR20","unstructured":"Xiong X, Liu J, Ding Z (2010) Design and verification of a trustable medical system. Electronic notes in theoretical computer science. In: Proceedings of the 3rd international workshop on Harnessing theories for tool support in software (TTSS), 12 October 2010, vol 266, pp 77\u201392"},{"issue":"1\u20132","key":"197_CR21","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K Larsen","year":"1997","unstructured":"Larsen K, Pettersson P, Wang Y (1997) UPPAAL in a nutshell. STTT 1(1\u20132):134\u2013152","journal-title":"STTT"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-013-0197-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-013-0197-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-013-0197-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T08:05:00Z","timestamp":1715760300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-013-0197-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,25]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["197"],"URL":"https:\/\/doi.org\/10.1007\/s11334-013-0197-8","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,25]]}}}