{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T05:54:54Z","timestamp":1783490094520,"version":"3.55.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319434247","type":"print"},{"value":"9783319434254","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-43425-4_22","type":"book-chapter","created":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T15:24:52Z","timestamp":1470151492000},"page":"331-347","source":"Crossref","is-referenced-by-count":14,"title":["Maintenance Analysis and Optimization via Statistical Model Checking"],"prefix":"10.1007","author":[{"given":"Enno","family":"Ruijters","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dennis","family":"Guck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Drolenga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Margot","family":"Peters","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,8,3]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/j.cie.2014.12.022","volume":"82","author":"A Alrabghi","year":"2015","unstructured":"Alrabghi, A., Tiwari, A.: State of the art in simulation-based optimisation for maintenance systems. Comput. Ind. Eng. 82, 167\u2013182 (2015)","journal-title":"Comput. Ind. Eng."},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/11561163_8","volume-title":"Formal Methods for Components and Objects","author":"G Behrmann","year":"2005","unstructured":"Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Priced timed automata: algorithms and applications. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 162\u2013182. Springer, Heidelberg (2005)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of the Reliability and Maintainability Symposium, pp. 459\u2013465 (2004)","DOI":"10.1109\/RAMS.2004.1285491"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Bucci, G., Carnevali, L., Vicario, E.: A tool supporting evaluation of non-markovian fault trees. In: Proceedings of the 5th International Conference on Quantitative Evaluation of Systems (QEST), pp. 115\u2013116, September 2008","DOI":"10.1109\/QEST.2008.46"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Buchacker, K.: Modeling with extended fault trees. In: Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering (HASE), pp. 238\u2013246 (2000)","DOI":"10.1109\/HASE.2000.895468"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Bulychev, P., David, A., Larsen, K.G., Mikuc\u0306ionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: statistical model checking for priced timed automata. In: Proceedings of 10th Workshop on Quantitative Aspects of Programming Languages (2012)","DOI":"10.4204\/EPTCS.85.1"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/978-3-642-40725-3_14","volume-title":"Computer Performance Engineering","author":"L Carnevali","year":"2013","unstructured":"Carnevali, L., Paolieri, M., Tadano, K., Vicario, E.: Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol. 8168, pp. 176\u2013190. Springer, Heidelberg (2013)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Proceedings of Reliability and Maintainability Symposium, pp. 286\u2013293 (1990)","DOI":"10.1109\/ARMS.1990.67971"},{"key":"22_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2553-7","volume-title":"Monte Carlo: Concepts, Algorithms, and Applications","author":"G Fishman","year":"1996","unstructured":"Fishman, G.: Monte Carlo: Concepts, Algorithms, and Applications. Springer, Heidelberg (1996)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Stoelinga, M.: Fault maintenance trees: reliability centered maintenance via statistical model checking. In: Proceedings of Reliability and Maintainability Symposium, January 2016","DOI":"10.1109\/RAMS.2016.7447986"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","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\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"issue":"1","key":"22_CR13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1108\/13552511111116222","volume":"17","author":"A Sharma","year":"2011","unstructured":"Sharma, A., Yadava, G.S., Deshmukh, S.G.: A literature review and future perspectives on maintenance optimization. J. Qual. Maintenance Eng. 17(1), 5\u201325 (2011)","journal-title":"J. Qual. Maintenance Eng."},{"issue":"4","key":"22_CR14","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/j.probengmech.2004.03.002","volume":"19","author":"JM Noortwijk van","year":"2004","unstructured":"van Noortwijk, J.M., Frangopol, D.M.: Two probabilistic life-cycle maintenance models for deteriorating civil infrastructures. Probab. Eng. Mech. 19(4), 345\u2013359 (2004)","journal-title":"Probab. Eng. Mech."},{"key":"22_CR15","volume-title":"Fault Tree Handbook","author":"WE Vesely","year":"1981","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. Office of Nuclear Regulatory Reasearch, U.S. Nuclear Regulatory Commision, Washington, DC (1981)"},{"key":"22_CR16","unstructured":"Westinghouse, G.: Improvement in steam-power-brake devices. US Patent 88,929 (1869)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43425-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:44:52Z","timestamp":1498333492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43425-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319434247","9783319434254"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43425-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}