{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:44:48Z","timestamp":1778121888695,"version":"3.51.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319471655","type":"print"},{"value":"9783319471662","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-47166-2_10","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"151-165","source":"Crossref","is-referenced-by-count":10,"title":["Better Railway Engineering Through Statistical Model Checking"],"prefix":"10.1007","author":[{"given":"Enno","family":"Ruijters","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"10_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":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-642-40793-2_27","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2013","unstructured":"Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic gates and repair boxes. In: Proceedings Reliability and Maintainability Symposium, pp. 459\u2013465 (2004)","DOI":"10.1109\/RAMS.2004.1285491"},{"key":"10_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":"10_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":"10_CR6","doi-asserted-by":"crossref","unstructured":"Bulychev, P., David, A., Larsen, K.G., M. Mikuc\u0306ionis, D. B. Poulsen, A. Legay, Z. Wang.: UPPAAL-SMC: statistical model checking for priced timed automata. In: Proceedings of the 10th workshop on Quantitative Aspects of Programming Languages (QAPL 2012) (2012)","DOI":"10.4204\/EPTCS.85.1"},{"key":"10_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":"10_CR8","doi-asserted-by":"crossref","unstructured":"Codetta-Raiteri, D., Franceschinis, G., Iacono, M., Vittorini, V.: Repairable fault tree for the automatic evaluation of repair policies. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN), pp. 659\u2013668. IEEE (2004)","DOI":"10.1109\/DSN.2004.1311936"},{"issue":"3","key":"10_CR9","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0925-5273(92)90133-R","volume":"24","author":"CW Gits","year":"1992","unstructured":"Gits, C.W.: Design of maintenance conceps. Int. J. Prod. Econ. 24(3), 217\u2013226 (1992)","journal-title":"Int. J. Prod. Econ."},{"key":"10_CR10","volume-title":"Reliability Centered Maintenance","author":"J Moubray","year":"1997","unstructured":"Moubray, J.: Reliability Centered Maintenance. Industrial Press, South Norwalk (1997)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-319-43425-4_22","volume-title":"Quantitative Evaluation of Systems","author":"E Ruijters","year":"2016","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance analysis and optimization via statistical model checking: evaluating a train pneumatic compressor. In: Agha, G., Van Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 331\u2013347. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-43425-4_22"},{"key":"10_CR12","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 Reliability and Maintainability Symposium, January 2016","DOI":"10.1109\/RAMS.2016.7447986"},{"key":"10_CR13","doi-asserted-by":"crossref","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: Proceedings of the International Symposium on Dependable Systems and Networks (DSN), pp. 662\u2013669 (2016)","DOI":"10.1109\/DSN.2016.67"},{"key":"10_CR14","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":"10_CR15","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. Maint. Eng. 17(1), 5\u201325 (2011)","journal-title":"J. Qual. Maint. Eng."},{"key":"10_CR16","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, North Bethesda (1981)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:09:05Z","timestamp":1568434145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}