{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,12]],"date-time":"2025-07-12T22:58:16Z","timestamp":1752361096542,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031436802"},{"type":"electronic","value":"9783031436819"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-43681-9_12","type":"book-chapter","created":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T06:02:16Z","timestamp":1694844136000},"page":"205-223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Optimal Spare Management via\u00a0Statistical Model Checking: A Case Study in\u00a0Research Reactors"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4585-1602","authenticated-orcid":false,"given":"Reza","family":"Soltani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3810-4185","authenticated-orcid":false,"given":"Matthias","family":"Volk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Diamonte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5687-854X","authenticated-orcid":false,"given":"Milan","family":"Lopuha\u00e4-Zwakenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,17]]},"reference":[{"key":"12_CR1","unstructured":"UPPAAL requirements specification language. https:\/\/docs.uppaal.org\/language-reference\/requirements-specification\/. Accessed 26 May 2023"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Artefact for \u201cOptimal spare management via statistical model checking: a case study in research reactors. Zenodo, May 2023. https:\/\/doi.org\/10.5281\/zenodo.7970835","DOI":"10.5281\/zenodo.7970835"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: time for playing games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 121\u2013125. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_14"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using input\/output interactive Markov chains. In: DSN, pp. 708\u2013717. IEEE Computer Society (2007). https:\/\/doi.org\/10.1109\/DSN.2007.37","DOI":"10.1109\/DSN.2007.37"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Bulychev, P.E., et al.: UPPAAL-SMC: statistical model checking for priced timed automata. In: QAPL. EPTCS, vol. 85, pp. 1\u201316 (2012). https:\/\/doi.org\/10.4204\/EPTCS.85.1","DOI":"10.4204\/EPTCS.85.1"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"Chatain, T., David, A., Larsen, K.G.: Playing games with timed games. In: ADHS. IFAC Proceedings Volumes, vol. 42, pp. 238\u2013243. Elsevier (2009). https:\/\/doi.org\/10.3182\/20090916-3-ES-3003.00042","DOI":"10.3182\/20090916-3-ES-3003.00042"},{"issue":"9","key":"12_CR7","doi-asserted-by":"publisher","first-page":"6695","DOI":"10.1016\/j.eswa.2010.04.037","volume":"37","author":"F Chen","year":"2010","unstructured":"Chen, F., Chen, Y., Kuo, J.: Applying moving back-propagation neural network and moving fuzzy-neuron network to predict the requirement of critical spare parts. Expert Syst. Appl. 37(9), 6695\u20136704 (2010). https:\/\/doi.org\/10.1016\/j.eswa.2010.04.037","journal-title":"Expert Syst. Appl."},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-11936-6_10","volume-title":"Automated Technology for Verification and Analysis","author":"A David","year":"2014","unstructured":"David, A., et al.: On time with minimal expected cost! In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 129\u2013145. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11936-6_10"},{"key":"12_CR9","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-24310-3_7","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A David","year":"2011","unstructured":"David, A., et al.: Statistical model checking for networks of priced timed automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 80\u201396. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24310-3_7"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Gutierrez, R.S., Solis, A.O., Mukhopadhyay, S.: Lumpy demand forecasting using neural networks. Int. J. Prod. Econ. 111(2), 409\u2013420 (2008). https:\/\/doi.org\/10.1016\/j.ijpe.2007.01.007, special Section on Sustainable Supply Chain","DOI":"10.1016\/j.ijpe.2007.01.007"},{"key":"12_CR12","doi-asserted-by":"publisher","unstructured":"Heijblom, R., Postma, W., Natarajan, V., Stoelinga, M.: DFT analysis incorporating spare parts in fault trees. In: 2018 Annual Reliability and Maintainability Symposium (RAMS), pp. 1\u20137 (2018). https:\/\/doi.org\/10.1109\/RAM.2018.8463074","DOI":"10.1109\/RAM.2018.8463074"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/j.ejor.2017.07.058","volume":"266","author":"Q Hu","year":"2018","unstructured":"Hu, Q., Boylan, J.E., Chen, H., Labib, A.: OR in spare parts management: a review. Eur. J. Oper. Res. 266(2), 395\u2013414 (2018). https:\/\/doi.org\/10.1016\/j.ejor.2017.07.058","journal-title":"Eur. J. Oper. Res."},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.eswa.2017.01.058","volume":"77","author":"S Kabir","year":"2017","unstructured":"Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114\u2013135 (2017). https:\/\/doi.org\/10.1016\/j.eswa.2017.01.058","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.ijpe.2013.01.009","volume":"143","author":"N Kourentzes","year":"2013","unstructured":"Kourentzes, N.: Intermittent demand forecasts with neural networks. Int. J. Prod. Econ. 143(1), 198\u2013206 (2013). https:\/\/doi.org\/10.1016\/j.ijpe.2013.01.009","journal-title":"Int. J. Prod. Econ."},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-22975-1_11","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R Kumar","year":"2015","unstructured":"Kumar, R., Ruijters, E., Stoelinga, M.: Quantitative attack tree analysis via priced timed automata. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 156\u2013171. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22975-1_11"},{"key":"12_CR17","doi-asserted-by":"publisher","unstructured":"Kumar, R., Stoelinga, M.: Quantitative security and safety analysis with attack-fault trees. In: HASE, pp. 25\u201332. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/HASE.2017.12","DOI":"10.1109\/HASE.2017.12"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1016\/j.eswa.2006.12.003","volume":"34","author":"SG Li","year":"2008","unstructured":"Li, S.G., Kuo, X.: The inventory management system for automobile spare parts in a central warehouse. Expert Syst. Appl. 34(2), 1144\u20131153 (2008). https:\/\/doi.org\/10.1016\/j.eswa.2006.12.003","journal-title":"Expert Syst. Appl."},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 95","author":"O Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229\u2013242. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59042-0_76"},{"key":"12_CR21","doi-asserted-by":"publisher","unstructured":"Ruijters, E., Guck, D., van Noort, M., Stoelinga, M.: Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: a practical experience report. In: DSN, pp. 662\u2013669. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/DSN.2016.67","DOI":"10.1109\/DSN.2016.67"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015). https:\/\/doi.org\/10.1016\/j.cosrev.2015.03.001","journal-title":"Comput. Sci. Rev."},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-47166-2_10","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"E Ruijters","year":"2016","unstructured":"Ruijters, E., Stoelinga, M.: Better railway engineering through statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 151\u2013165. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_10"},{"issue":"5","key":"12_CR24","doi-asserted-by":"publisher","first-page":"1629","DOI":"10.1177\/0309524X221095258","volume":"46","author":"MIH Tusar","year":"2022","unstructured":"Tusar, M.I.H., Sarker, B.R.: Spare parts control strategies for offshore wind farms: a critical review and comparative study. Wind Eng. 46(5), 1629\u20131656 (2022). https:\/\/doi.org\/10.1177\/0309524X221095258","journal-title":"Wind Eng."},{"issue":"6","key":"12_CR25","doi-asserted-by":"publisher","first-page":"2660","DOI":"10.1016\/j.eswa.2013.11.007","volume":"41","author":"P Wu","year":"2014","unstructured":"Wu, P., Hung, Y., Lin, Z.: Intelligent forecasting system based on integration of electromagnetism-like mechanism and fuzzy neural network. Expert Syst. Appl. 41(6), 2660\u20132677 (2014). https:\/\/doi.org\/10.1016\/j.eswa.2013.11.007","journal-title":"Expert Syst. Appl."},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Zhang, S., Huang, K., Yuan, Y.: Spare parts inventory management: a literature review. Sustainability 13(5) (2021). https:\/\/doi.org\/10.3390\/su13052460","DOI":"10.3390\/su13052460"},{"issue":"2","key":"12_CR27","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/j.ejor.2017.03.019","volume":"262","author":"X Zhang","year":"2017","unstructured":"Zhang, X., Zeng, J.: Joint optimization of condition-based opportunistic maintenance and spare parts provisioning policy in multiunit systems. Eur. J. Oper. Res. 262(2), 479\u2013498 (2017). https:\/\/doi.org\/10.1016\/j.ejor.2017.03.019","journal-title":"Eur. J. Oper. Res."},{"key":"12_CR28","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.107512","volume":"210","author":"M Zheng","year":"2021","unstructured":"Zheng, M., Ye, H., Wang, D., Pan, E.: Joint optimization of condition-based maintenance and spare parts orders for multi-unit systems with dual sourcing. Reliab. Eng. Syst. Saf. 210, 107512 (2021). https:\/\/doi.org\/10.1016\/j.ress.2021.107512","journal-title":"Reliab. Eng. Syst. Saf."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-43681-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,19]],"date-time":"2024-03-19T09:05:45Z","timestamp":1710839145000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-43681-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031436802","9783031436819"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-43681-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Antwerp","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.uantwerpen.be\/en\/conferences\/confest-2023\/fmics\/","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":"24","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":"14","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":"0","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":"58% - 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":"2,5","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}