{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T12:57:14Z","timestamp":1762606634107,"version":"3.40.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319229744"},{"type":"electronic","value":"9783319229751"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22975-1_20","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T08:37:43Z","timestamp":1440146263000},"page":"305-320","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems"],"prefix":"10.1007","author":[{"given":"Erik Ramsgaard","family":"Wognsen","sequence":"first","affiliation":[]},{"given":"Boudewijn R.","family":"Haverkort","sequence":"additional","affiliation":[]},{"given":"Marijn","family":"Jongerden","sequence":"additional","affiliation":[]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"issue":"1","key":"20_CR1","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/S0378-7753(02)00305-1","volume":"111","author":"SS Choi","year":"2002","unstructured":"Choi, S.S., Lim, H.S.: Factors that affect cycle-life and possible degradation mechanisms of a Li-ion cell based on LiCoO2. Journal of Power Sources 111(1), 130\u2013136 (2002)","journal-title":"Journal of Power Sources"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-662-46681-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A David","year":"2015","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.:  Uppaal Stratego. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 206\u2013211. Springer, Heidelberg (2015)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Drouilhet, S., Johnson, B.L.: A battery life prediction method for hybrid power applications. In: AIAA Aerospace Sciences Meeting and Exhibit (1997)","DOI":"10.2514\/6.1997-948"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Guena, T., Leblanc, P.: How depth of discharge affects the cycle life of lithium-metal-polymer batteries. In: 28th Annual International Telecommunications Energy Conference, INTELEC 2006, pp. 1\u20138, September 2006","DOI":"10.1109\/INTLEC.2006.251641"},{"key":"20_CR5","unstructured":"Martin, T.L.: Balancing batteries, power, and performance: System issues in CPU speed-setting for mobile computing. PhD thesis, Carnegie Mellon (1999)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Petricca, M., Shin, D., Bocca, A., Macii, A., Macii, E., Poncino, M.: Automated generation of battery aging models from datasheets. In: Computer Design, pp. 483\u2013488. IEEE (2014)","DOI":"10.1109\/ICCD.2014.6974723"},{"key":"20_CR7","unstructured":"Symons, P.: Life estimation of lead-acid battery cells for utility energy storage. In: Proceedings of the Fifth conference on Batteries for Utility Storage, San Juan, Puerto Rico, July 1995"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22975-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T13:47:00Z","timestamp":1674568020000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22975-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229744","9783319229751"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22975-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}