{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:53:08Z","timestamp":1771026788853,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319665825","type":"print"},{"value":"9783319665832","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66583-2_8","type":"book-chapter","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T02:02:48Z","timestamp":1502503368000},"page":"117-132","source":"Crossref","is-referenced-by-count":2,"title":["A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Vogl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Siegle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"2\u20133","key":"8_CR1","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1081\/STM-200056210","volume":"21","author":"A Bobbio","year":"2005","unstructured":"Bobbio, A., et al.: Matching three moments with minimal acyclic phase type distrbutions. Stoch. Models 21(2\u20133), 303\u2013326 (2005)","journal-title":"Stoch. Models"},{"issue":"1","key":"8_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/15326349908807134","volume":"6","author":"CA O\u2019Cinneide","year":"1990","unstructured":"O\u2019Cinneide, C.A.: Characterization of phase-type distributions. Commun. Stat. Stoch. Models 6(1), 1\u201357 (1990)","journal-title":"Commun. Stat. Stoch. Models"},{"key":"8_CR3","unstructured":"Dilmaghani, F.: Critical chain project management (CCPM) at Bosch Security Systems (CCTV) Eindhoven. Masters Thesis, University of Twente (2008)"},{"key":"8_CR4","volume-title":"Critical Chain","author":"EM Goldratt","year":"1997","unstructured":"Goldratt, E.M.: Critical Chain. The North River Press Publishing Corporation, Great Barrington (1997)"},{"key":"8_CR5","unstructured":"Kapici, S.: A stochastic risk model for complex projects (Dissertation) Otto-von-Guericke-Universit\u00e4t, Magdeburg (2005)"},{"key":"8_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-99681-7","volume-title":"Messung und Modellierung Paralleler und Verteilter Rechensysteme","author":"R Klar","year":"1995","unstructured":"Klar, R., et al.: Messung und Modellierung Paralleler und Verteilter Rechensysteme. B.G. Teubner, Stuttgart (1995)"},{"issue":"5","key":"8_CR7","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1287\/opre.34.5.769","volume":"34","author":"VG Kulkarni","year":"1986","unstructured":"Kulkarni, V.G., Adlakha, V.G.: Markov and Markov-regenerative PERT networks. Oper. Res. 34(5), 769\u2013781 (1986)","journal-title":"Oper. Res."},{"key":"8_CR8","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). doi:\n10.1007\/978-3-540-72522-0_6"},{"key":"8_CR9","unstructured":"Maplesoft: Maple, a symbolic and numeric computing environment (2017). \nhttps:\/\/www.maplesoft.com\/products\/maple\/"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-00142-0_22","volume-title":"Operations Research Proceedings 2008","author":"P Melchiors","year":"2007","unstructured":"Melchiors, P., Kolisch, R.: Scheduling of multiple R&D projects in a dynamic and stochastic environment. In: Fleischmann, B., et al. (eds.) Operations Research Proceedings 2008, pp. 135\u2013140. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-642-00142-0_22"},{"key":"8_CR11","series-title":"Lecture Notes in Economics and Mathematical Systems","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04540-5","volume-title":"Dynamic and Stochastic Multi-Project Planning","author":"P Melchiors","year":"2015","unstructured":"Melchiors, P.: Dynamic and Stochastic Multi-Project Planning. LNEMS, vol. 673. Springer, Cham (2015). doi:\n10.1007\/978-3-319-04540-5"},{"key":"8_CR12","unstructured":"The PRISM Model-Checker website. \nhttp:\/\/www.prismmodelchecker.org"},{"key":"8_CR13","volume-title":"Project Management: Processes, Methodologies and Economics","author":"A Shtub","year":"2014","unstructured":"Shtub, A., et al.: Project Management: Processes, Methodologies and Economics, 2nd edn. Pearson Education Limited, Essex (2014)","edition":"2"},{"key":"8_CR14","unstructured":"Wolfram Mathematica. \nhttps:\/\/www.wolfram.com\/mathematica\/"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66583-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T02:04:37Z","timestamp":1502503477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66583-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319665825","9783319665832"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66583-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}