{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:26:03Z","timestamp":1743013563970,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031067723"},{"type":"electronic","value":"9783031067730"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-06773-0_8","type":"book-chapter","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T11:24:44Z","timestamp":1652959484000},"page":"156-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Quantification of Battery Depletion Risk Made Efficient"],"prefix":"10.1007","author":[{"given":"Holger","family":"Hermanns","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Nies","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,20]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Boker, U., Henzinger, T.A., Radhakrishna, A.: Battery transition systems. In: Jagannathan, S., Sewell, P. (eds.) The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201914, San Diego, CA, USA, January 20\u201321, 2014. pp. 595\u2013606. ACM (2014). https:\/\/doi.org\/10.1145\/2535838.2535875","DOI":"10.1145\/2535838.2535875"},{"key":"8_CR2","unstructured":"Buchmann, I. Inc, C.E.: Batteries in a Portable World: A Handbook on Rechargeable Batteries for Non-engineers. Cadex Electronics (2001). https:\/\/books.google.de\/books?id=YIBhAAAACAAJ"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Cloth, L., Jongerden, M.R., Haverkort, B.R.: Computing battery lifetime distributions. In: 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN\u201907). pp. 780\u2013789 (2007). https:\/\/doi.org\/10.1109\/DSN.2007.26","DOI":"10.1109\/DSN.2007.26"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Fenner, G., Stringini, L., Rangel, C., Canha, L.: Comprehensive model for real battery simulation responsive to variable load. Energies 14, 3209 (05 2021). https:\/\/doi.org\/10.3390\/en14113209","DOI":"10.3390\/en14113209"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Fraire, J.A., Nies, G., Hermanns, H., Bay, K., Bisgaard, M.: Battery-aware contact plan design for LEO satellite constellations: The ulloriaq case study. In: IEEE Global Communications Conference, GLOBECOM 2018, Abu Dhabi, United Arab Emirates, December 9\u201313, 2018. pp. 1\u20137. IEEE (2018). https:\/\/doi.org\/10.1109\/GLOCOM.2018.8647822","DOI":"10.1109\/GLOCOM.2018.8647822"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Hermanns, H., Krc\u00e1l, J., Nies, G.: How is your satellite doing? battery kinetics with recharging and uncertainty. Leibniz Trans. Embed. Syst. 4(1), 04:1\u201304:28 (2017). https:\/\/doi.org\/10.4230\/LITES-v004-i001-a004","DOI":"10.4230\/LITES-v004-i001-a004"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Ivanov, D., Larsen, K.G., Schupp, S., Srba, J.: Analytical solution for long battery lifetime prediction in nonadaptive systems. In: McIver, A., Horv\u00e1th, A. (eds.) Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4\u20137, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11024, pp. 173\u2013189. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_11","DOI":"10.1007\/978-3-319-99154-2_11"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Jongerden, M.R., Haverkort, B.R.: Which battery model to use? IET Softw. 3(6), 445\u2013457 (2009). https:\/\/doi.org\/10.1049\/iet-sen.2009.0001","DOI":"10.1049\/iet-sen.2009.0001"},{"issue":"5","key":"8_CR9","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/0038-092X(93)90060-2","volume":"50","author":"JF Manwell","year":"1993","unstructured":"Manwell, J.F., McGowan, J.G.: Lead acid battery storage model for hybrid energy systems. Solar energy 50(5), 399\u2013405 (1993)","journal-title":"Solar energy"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Nies, G., Stenger, M., Kr\u010d\u00e1l, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K.G., Wognsen, E.R.: Mastering operational limitations of leo satellites - the gomx-3 approach. Acta Astronautica 151, 726\u2013735 (2018). https:\/\/doi.org\/10.1016\/j.actaastro.2018.04.040, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S009457651730321","DOI":"10.1016\/j.actaastro.2018.04.040"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Rao, V., Singhal, G., Kumar, A., Navet, N.: Battery model for embedded systems. In: 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design. pp. 105\u2013110 (2005). https:\/\/doi.org\/10.1109\/ICVD.2005.61","DOI":"10.1109\/ICVD.2005.61"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Stock, G., Fraire, J.A., M\u00f6mke, T., Hermanns, H., Babayev, F., Cruz, E.: Managing fleets of LEO satellites: Nonlinear, optimal, efficient, scalable, usable, and robust. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11), 3762\u20133773 (2020). https:\/\/doi.org\/10.1109\/TCAD.2020.3012751","DOI":"10.1109\/TCAD.2020.3012751"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Wognsen, E.R., Hansen, R.R., Larsen, K.G.: Battery-aware scheduling of mixed criticality systems. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8\u201311, 2014, Proceedings, Part II. Lecture Notes in Computer Science, vol. 8803, pp. 208\u2013222. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_15","DOI":"10.1007\/978-3-662-45231-8_15"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Zhang, Q., Li, Y., Shang, Y., Duan, B., Cui, N., Zhang, C.: A fractional-order kinetic battery model of lithium-ion batteries considering a nonlinear capacity. Electronics 8, 394 (04 2019). https:\/\/doi.org\/10.3390\/electronics8040394","DOI":"10.3390\/electronics8040394"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-06773-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T11:09:20Z","timestamp":1659352160000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-06773-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031067723","9783031067730"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-06773-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 May 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pasadena, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/shemesh.larc.nasa.gov\/nfm2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"118","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}