{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:55:23Z","timestamp":1725468923275},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540368502"},{"type":"electronic","value":"9783540368519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11807964_80","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T14:14:24Z","timestamp":1156515264000},"page":"795-804","source":"Crossref","is-referenced-by-count":8,"title":["Modelling and Analysis of Power Consumption for Component-Based Embedded Software"],"prefix":"10.1007","author":[{"given":"Hu","family":"Jun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Xuandong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng","family":"Guoliang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Chenghua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"80_CR1","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC\/FSE 2001), Austria, pp. 109\u2013120 (2001)","DOI":"10.1145\/503209.503226"},{"key":"80_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-45212-6_9","volume-title":"Embedded Software","author":"A. Chakrabarti","year":"2003","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Resource interfaces. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 117\u2013133. Springer, Heidelberg (2003)"},{"key":"80_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45828-X_9","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2002","unstructured":"de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed interfaces. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 108\u2013122. Springer, Heidelberg (2002)"},{"key":"80_CR4","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1049\/cce:20020404","volume":"13","author":"I. Lee","year":"2002","unstructured":"Lee, I., Philippou, A., Sokolsky, O.: Process-algebraic modeling and analysis of power-aware real-time systems. Journal of Computing and Control Engineering\u00a013, 180\u2013188 (2002)","journal-title":"Journal of Computing and Control Engineering"},{"key":"80_CR5","first-page":"169","volume-title":"Proc. of Formal Techniques for Networked and Distributed Systems","author":"M. N\u00fanez","year":"2001","unstructured":"N\u00fanez, M., Rodr\u00edgez, I.: Pamr: a process algebra for the management of resources in concurrent systems. In: Proc. of Formal Techniques for Networked and Distributed Systems, pp. 169\u2013184. Kluwer, Dordrecht (2001)"},{"issue":"1","key":"80_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/1053271.1053281","volume":"4","author":"T.K. Tan","year":"2005","unstructured":"Tan, T.K., Raghunathan, A., Jha, N.K.: Energy macromodeling of embedded operating systems. ACM Transactions on Embedded Computing Systems\u00a04(1), 231\u2013254 (2005)","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"80_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/11596356_41","volume-title":"Embedded and Ubiquitous Computing \u2013 EUC 2005","author":"J. Hu","year":"2005","unstructured":"Hu, J., Yu, X., Zhang, Y., Zhang, T., Li, X., Zheng, G.: Checking component-based embedded software designs for scenario-based timing specifications. In: Yang, L.T., Amamiya, M., Liu, Z., Guo, M., Rammig, F.J. (eds.) EUC 2005. LNCS, vol.\u00a03824, pp. 395\u2013404. Springer, Heidelberg (2005)"},{"key":"80_CR8","first-page":"240","volume-title":"Proc. of 34th International Conference on Parallel Processing Workshops","author":"J. Hu","year":"2005","unstructured":"Hu, J., Yu, X., Zhang, Y., Zhang, T., Wang, L., Li, X., Zheng, G.: Scenario-based verification for component-based embedded software designs. In: Proc. of 34th International Conference on Parallel Processing Workshops, pp. 240\u2013247. IEEE CS, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Emerging Directions in Embedded and Ubiquitous Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11807964_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:26:25Z","timestamp":1619508385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11807964_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540368502","9783540368519"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11807964_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}