{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:21:26Z","timestamp":1742912486585,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030242954"},{"type":"electronic","value":"9783030242961"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-24296-1_59","type":"book-chapter","created":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T01:06:36Z","timestamp":1561770396000},"page":"743-757","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems"],"prefix":"10.1007","author":[{"given":"Marina","family":"Dioto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo Rohde","family":"Eras","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valdivino Alexandre","family":"de Santiago J\u00fanior","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,29]]},"reference":[{"key":"59_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"59_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72522-0_6"},{"key":"59_CR3","unstructured":"Safie, F.M.: Probabilistic modeling of solar power systems. In: Annual Reliability and Maintainability Symposium, 1989. Proceedings, pp. 425\u2013430. IEEE (1989)"},{"key":"59_CR4","unstructured":"de Magalh\u00e3es, R.O.: Esudo de avalanche t\u00e9rmica em um sistema de carga e descarga de baterias em sat\u00e9lites artificiais. Ph.D. thesis, INPE (2012)"},{"key":"59_CR5","doi-asserted-by":"crossref","unstructured":"Grunske, L.: Specification patterns for probabilistic quality properties. In: ACM\/IEEE 30th International Conference on Software Engineering, ICSE 2008, pp. 31\u201340. IEEE (2008)","DOI":"10.1145\/1368088.1368094"},{"key":"59_CR6","doi-asserted-by":"crossref","unstructured":"Benini, L., Castelli, G., Macii, A., Macii, E., Poncino, M., Scarsi, R.: A discrete-time battery model for high-level power estimation. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 35\u201341. ACM (2000)","DOI":"10.1145\/343647.343694"},{"issue":"6","key":"59_CR7","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1016\/j.renene.2007.08.004","volume":"33","author":"W Zhou","year":"2008","unstructured":"Zhou, W., Yang, H., Fang, Z.: Battery behavior prediction and battery working states analysis of a hybrid solar\u2013wind power generation system. Renew. Energy 33(6), 1413\u20131423 (2008)","journal-title":"Renew. Energy"},{"key":"59_CR8","unstructured":"Rodrigues, I.P., Rego, L.F.M., Coimbra, T.d.S., Gruppelli, G.P., Ambr\u00f3sio, A.M.: Identification and control techniques applied to an operational satellite simulator. Congresso Brasileiro de Autom\u00e1tica, 22. (CBA) (2018)"},{"key":"59_CR9","unstructured":"Farid, H., El-Koosy, M., El-Shater, T., El-Koshairy, A., Mahmoud, A.: Simulation of a LEO satellite electrical power supply subsystem in-orbit operation. In: Proceedings of the 23rd European Photovoltaic Solar Energy Conference and Exhibition, Valencia, Spain (2008)"},{"issue":"1","key":"59_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0378-7753(03)00360-4","volume":"122","author":"Z Jiang","year":"2003","unstructured":"Jiang, Z., Dougal, R.A., Liu, S.: Application of VTB in design and testing of satellite electrical power systems. J. Power Sources 122(1), 95\u2013108 (2003)","journal-title":"J. Power Sources"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-24296-1_59","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,22]],"date-time":"2022-09-22T10:55:50Z","timestamp":1663844150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-24296-1_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030242954","9783030242961"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-24296-1_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Saint Petersburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}