{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:45:09Z","timestamp":1778121909623,"version":"3.51.4"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319489889","type":"print"},{"value":"9783319489896","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48989-6_34","type":"book-chapter","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T01:31:19Z","timestamp":1478482279000},"page":"559-576","source":"Crossref","is-referenced-by-count":20,"title":["Battery-Aware Scheduling in Low Orbit: The GomX\u20133 Case"],"prefix":"10.1007","author":[{"given":"Morten","family":"Bisgaard","sequence":"first","affiliation":[]},{"given":"David","family":"Gerhardt","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Kr\u010d\u00e1l","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Nies","sequence":"additional","affiliation":[]},{"given":"Marvin","family":"Stenger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"34_CR1","unstructured":"Uppaal Cora (2005). http:\/\/people.cs.aau.dk\/~adavid\/cora\/introduction.html"},{"key":"34_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-45351-2_15","volume-title":"Hybrid Systems: Computation and Control","author":"G Behrmann","year":"2001","unstructured":"Behrmann, G., Fehnker, A., Hune, T., Larsen, K., Pettersson, P., Romijn, J., Vaandrager, F.: Minimum-cost reachability for priced time automata. In: Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 147\u2013161. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45351-2_15"},{"issue":"4","key":"34_CR4","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1059816.1059823","volume":"32","author":"G Behrmann","year":"2005","unstructured":"Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Optimal scheduling using priced timed automata. ACM SIGMETRICS Perform. Eval. Rev. 32(4), 34\u201340 (2005)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-25141-7_7","volume-title":"Cyber Physical Systems. Design, Modeling, and Evaluation","author":"H Hermanns","year":"2015","unstructured":"Hermanns, H., Kr\u010d\u00e1l, J., Nies, G.: Recharging probably keeps batteries alive. In: Berger, C., Mousavi, M.R. (eds.) CyPhy 2015. LNCS, vol. 9361, pp. 83\u201398. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-25141-7_7"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Jongerden, M.R., Haverkort, B.R.: Which battery model to use? IET Softw. 3(6), 445\u2013457 (2009). http:\/\/dx.doi.org\/10.1049\/iet-sen.2009.0001","DOI":"10.1049\/iet-sen.2009.0001"},{"key":"34_CR7","unstructured":"Jongerden, M.R.: Model-based energy analysis of battery powered systems. Ph.D. thesis, Enschede. http:\/\/doc.utwente.nl\/75079\/"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/3-540-44585-4_47","volume-title":"Computer Aided Verification","author":"K Larsen","year":"2001","unstructured":"Larsen, K., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P., Romijn, J.: As cheap as possible: effcient cost-optimal reachability for priced timed automata. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 493\u2013505. Springer, Heidelberg (2001). doi: 10.1007\/3-540-44585-4_47"},{"issue":"5","key":"34_CR9","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10009-009-0129-y","volume":"12","author":"A Mader","year":"2010","unstructured":"Mader, A., Bohnenkamp, H., Usenko, Y.S., Jansen, D.N., Hurink, J., Hermanns, H.: Synthesis and stochastic assessment of cost-optimal schedules. Int. J. Softw. Tools Technol. Transf. 12(5), 305\u2013318 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"5","key":"34_CR10","doi-asserted-by":"crossref","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"}],"container-title":["Lecture Notes in Computer Science","FM 2016: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48989-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:58:56Z","timestamp":1498345136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48989-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319489889","9783319489896"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48989-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}