{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T14:16:11Z","timestamp":1788012971317,"version":"build-2784847793"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032352972","type":"print"},{"value":"9783032352989","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,8,30]],"date-time":"2026-08-30T00:00:00Z","timestamp":1788048000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,8,30]],"date-time":"2026-08-30T00:00:00Z","timestamp":1788048000000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-35298-9_3","type":"book-chapter","created":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T13:24:57Z","timestamp":1788009897000},"page":"39-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Facing the\u00a0Core: State-Space Compression of\u00a0Dynamic Fault Trees via\u00a0PH-Distributions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-2922-6954","authenticated-orcid":false,"given":"Nazareno","family":"Garagiola","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2766-9615","authenticated-orcid":false,"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,8,30]]},"reference":[{"issue":"4","key":"3_CR1","first-page":"447","volume":"22","author":"OO Aalen","year":"1995","unstructured":"Aalen, O.O.: Phase type distributions in survival analysis. Scand. J. Stat. 22(4), 447\u2013463 (1995)","journal-title":"Scand. J. Stat."},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A Survey of Statistical Model Checking. ACM Trans. Model. Comput. Simul. 28(1), 1\u201339 (2018). https:\/\/doi.org\/10.1145\/3158668","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1002\/asmb.2509","volume":"36","author":"A Alkaff","year":"2020","unstructured":"Alkaff, A., Qomarudin, M.N.: Modeling and analysis of system reliability using phase-type distribution closure properties. Appl. Stoch. Model. Bus. Ind. 36(4), 548\u2013569 (2020)","journal-title":"Appl. Stoch. Model. Bus. Ind."},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-54792-8_16","volume-title":"Principles of Security and Trust","author":"F Arnold","year":"2014","unstructured":"Arnold, F., Hermanns, H., Pulungan, R., Stoelinga, M.: Time-Dependent Analysis of Attacks. In: Abadi, M., Kremer, S. (eds.) POST 2014. LNCS, vol. 8414, pp. 285\u2013305. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54792-8_16"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1214\/aop\/1176989805","volume":"20","author":"S Asmussen","year":"1992","unstructured":"Asmussen, S.: Phase-type representations in random walk and queueing problems. Ann. Probab. 20(2), 772\u2013789 (1992)","journal-title":"Ann. Probab."},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"365","DOI":"10.2307\/3214845","volume":"30","author":"S Asmussen","year":"1993","unstructured":"Asmussen, S., Koole, G.: Marked point processes as limits of Markovian arrival streams. J. Appl. Probab. 30(2), 365\u2013372 (1993)","journal-title":"J. Appl. Probab."},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Baek, S., Heo, G.: Application of dynamic fault tree analysis to prioritize electric power systems in nuclear power plants. Energies 14(14), \u00a04119 (2021). https:\/\/doi.org\/10.3390\/en14144119","DOI":"10.3390\/en14144119"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Basg\u00f6ze, D., Volk, M., Katoen, J., Khan, S., Stoelinga, M.: BDDs strike back - efficient analysis of static and dynamic fault trees. In: NFM 2022 (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_38","DOI":"10.1007\/978-3-031-06773-0_38"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Secur. Comput. 7(2), 128\u2013143 (2010). https:\/\/doi.org\/10.1109\/TDSC.2009.45","DOI":"10.1109\/TDSC.2009.45"},{"key":"3_CR10","series-title":"SpringerBriefs in Mathematics","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-319-06674-5_2","volume-title":"Input Modeling with Phase-Type Distributions and Markov Models","author":"P Buchholz","year":"2014","unstructured":"Buchholz, P., Kriege, J., Felko, I.: Phase-Type Distributions. In: Input Modeling with Phase-Type Distributions and Markov Models. SM, pp. 5\u201328. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06674-5_2"},{"issue":"5","key":"3_CR11","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1007\/s10009-022-00675-x","volume":"24","author":"CE Budde","year":"2022","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Monti, R.E., Stoelinga, M.: Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transfer 24(5), 821\u2013841 (2022). https:\/\/doi.org\/10.1007\/s10009-022-00675-x","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR12","unstructured":"CCPS: Guidelines for Hazard Evaluation Procedures, 3rd Edition. Wiley-AIChE (2008), Center for Chemical Process Safety"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Chakravarthy, S., Ravi, K.: A stochastic model for a computer communication network node with phase type timeout periods. Numer. Sol. Markov Chains 261\u2013285. CRC Press (2021)","DOI":"10.1201\/9781003210160-14"},{"key":"3_CR14","unstructured":"Clifton, E.: Fault tree analysis-a history. In: Proceedings of the 17th International Systems Safety Conference, pp. 1\u20139 (1999)"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Cox, D.R.: A use of complex probabilities in the theory of stochastic processes. Math. Proc. Cambridge Philosop. Soc. 51(2), 313\u2013319 (1955). https:\/\/doi.org\/10.1017\/S0305004100030231","DOI":"10.1017\/S0305004100030231"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-19811-3_9","volume-title":"Fundamental Approaches to Software Engineering","author":"P Crouzen","year":"2011","unstructured":"Crouzen, P., Lang, F.: Smart Reduction. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 111\u2013126. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19811-3_9"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0026-2714(82)90033-6","volume":"22","author":"A Cumani","year":"1982","unstructured":"Cumani, A.: On the canonical representation of homogeneous markov processes modelling failure-time distributions. Microelectron. Reliab. 22(3), 583\u2013602 (1982). https:\/\/doi.org\/10.1016\/0026-2714(82)90033-6","journal-title":"Microelectron. Reliab."},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Dugan, J., Bavuso, S., Boyd, M.: Fault trees and sequence dependencies. In: RAMS 1990, pp. 286\u2013293 (1990). https:\/\/doi.org\/10.1109\/ARMS.1990.67971","DOI":"10.1109\/ARMS.1990.67971"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-46429-8_24","volume-title":"Computer Performance Evaluation.Modelling Techniques and Tools","author":"JB Dugan","year":"2000","unstructured":"Dugan, J.B.: Galileo: A Tool for Dynamic Fault Tree Analysis. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 328\u2013331. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46429-8_24"},{"key":"3_CR20","unstructured":"Dugan, J.B., Assaf, T.: Dynamic fault tree analysis of a reconfigurable software system (2001). https:\/\/api.semanticscholar.org\/CorpusID:15626675"},{"key":"3_CR21","unstructured":"Dugan, J.B., Doyle, S.A.: New results in fault-tree analysis. In: Reliability and maintainability symposium, pp. 568\u2013573 (1996)"},{"issue":"3","key":"3_CR22","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1109\/24.537011","volume":"45","author":"Y Dutuit","year":"1996","unstructured":"Dutuit, Y., Rauzy, A.: A linear-time algorithm to find modules of fault trees. IEEE Trans. Reliab. 45(3), 422\u2013425 (1996). https:\/\/doi.org\/10.1109\/24.537011","journal-title":"IEEE Trans. Reliab."},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Gulati, R., Dugan, J.: A modular approach for analyzing static and dynamic fault trees. In: Annual Reliability and Maintainability Symposium, pp. 57\u201363. IEEE, Philadelphia, PA, USA (1997). https:\/\/doi.org\/10.1109\/RAMS.1997.571665","DOI":"10.1109\/RAMS.1997.571665"},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1080\/15326340600649045","volume":"22","author":"QM He","year":"2006","unstructured":"He, Q.M., Zhang, H.: Spectral polynomial algorithms for computing bi-diagonal representations for phase type distributions and matrix-exponential distributions. Stoch. Model. 22(2), 289\u2013317 (2006). https:\/\/doi.org\/10.1080\/15326340600649045","journal-title":"Stoch. Model."},{"key":"3_CR25","doi-asserted-by":"publisher","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transfer 24(4), 589\u2013610 (2022). https:\/\/doi.org\/10.1007\/s10009-021-00633-z","DOI":"10.1007\/s10009-021-00633-z"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-46029-2_5","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"A Horv\u00e1th","year":"2002","unstructured":"Horv\u00e1th, A., Telek, M.: PhFit: A General Phase-Type Fitting Tool. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 82\u201391. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46029-2_5"},{"key":"3_CR27","doi-asserted-by":"publisher","unstructured":"Horv\u00e1th, G., Telek, M.: BuTools 2: a rich toolbox for markovian performance evaluation. In: Puliafito, A., Trivedi, K.S., Tuffin, B., Scarpa, M., Machida, F., Alonso, J. (eds.) 10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016, Taormina, Italy, 25th\u201328th Oct 2016. ACM (2016). https:\/\/doi.org\/10.4108\/EAI.25-10-2016.2266400","DOI":"10.4108\/EAI.25-10-2016.2266400"},{"key":"3_CR28","unstructured":"Johnson, M., Taaffe, M.: The denseness of phase distributions. Purdue Sch. Ind. Eng. Res. Memoranda 88, 20 (1998)"},{"issue":"4","key":"3_CR29","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/s00165-016-0412-0","volume":"29","author":"S Junges","year":"2017","unstructured":"Junges, S., Guck, D., Katoen, J.-P., Rensink, A., Stoelinga, M.: Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. 29(4), 651\u2013703 (2017). https:\/\/doi.org\/10.1007\/s00165-016-0412-0","journal-title":"Formal Aspects Comput."},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-319-91268-4_14","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S Junges","year":"2018","unstructured":"Junges, S., Katoen, J.-P., Stoelinga, M., Volk, M.: One Net Fits All. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 272\u2013293. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91268-4_14"},{"issue":"11","key":"3_CR31","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/368996.369025","volume":"5","author":"AB Kahn","year":"1962","unstructured":"Kahn, A.B.: Topological sorting of large networks. Commun. ACM 5(11), 558\u2013562 (1962). https:\/\/doi.org\/10.1145\/368996.369025","journal-title":"Commun. ACM"},{"key":"3_CR32","doi-asserted-by":"publisher","unstructured":"Katoen, J.P., Khattri, M., Zapreevt, I.: A markov reward model checker. In: Second International Conference on the Quantitative Evaluation of Systems (QEST\u201905), pp. 243\u2013244 (2005). https:\/\/doi.org\/10.1109\/QEST.2005.2","DOI":"10.1109\/QEST.2005.2"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Matsakis, N.D., Klock, I.I., F.S.: The Rust language. ACM SIGAda Ada Lett. 34, 103\u2013104. ACM (2014)","DOI":"10.1145\/2692956.2663188"},{"key":"3_CR35","unstructured":"Neuts, M.F.: Matrix-geometric solutions in stochastic models - an algorithmic approach, Dover Publications (1994)"},{"issue":"2","key":"3_CR36","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1080\/15326348908807108","volume":"5","author":"CA O\u2019Cinneide","year":"2007","unstructured":"O\u2019Cinneide, C.A.: On non-uniqueness of representations of phase-type distributions. Commun. Stat. Stochastic Models 5(2), 247\u2013259 (2007). https:\/\/doi.org\/10.1080\/15326348908807108","journal-title":"Commun. Stat. Stochastic Models"},{"issue":"2","key":"3_CR37","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/imaman\/dpr008","volume":"23","author":"K Payne","year":"2012","unstructured":"Payne, K., Marshall, A.H., Cairns, K.J.: Investigating the efficiency of fitting coxian phase-type distributions to health care data. IMA J. Manag. Math. 23(2), 133\u2013145 (2012). https:\/\/doi.org\/10.1093\/imaman\/dpr008","journal-title":"IMA J. Manag. Math."},{"key":"3_CR38","unstructured":"Pulungan, R.: Reduction of acyclic phase-type representations, Ph.D. thesis. Germany (2009)"},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-68982-9_10","volume-title":"Analytical and Stochastic Modeling Techniques and Applications","author":"R Pulungan","year":"2008","unstructured":"Pulungan, R., Hermanns, H.: Effective Minimization of Acyclic Phase-Type Representations. In: Al-Begain, K., Heindl, A., Telek, M. (eds.) ASMTA 2008. LNCS, vol. 5055, pp. 128\u2013143. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68982-9_10"},{"key":"3_CR40","unstructured":"Pulungan, R., Hermanns, H.: The minimal representation of the maximum of erlang distributions. In: Bause, F., Buchholz, P. (eds.) Proceedings 14th GI\/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany, pp. 207\u2013222. VDE Verlag (2008)"},{"key":"3_CR41","doi-asserted-by":"publisher","unstructured":"Reinecke, P., Krauss, T., Wolter, K.: Hyperstar: Phase-type fitting made easy. In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 201\u2013202. IEEE Computer Society (2012). https:\/\/doi.org\/10.1109\/QEST.2012.29","DOI":"10.1109\/QEST.2012.29"},{"key":"3_CR42","doi-asserted-by":"publisher","unstructured":"Ruijters, E., et al.: Ffort: A benchmark suite for fault tree analysis. In: ESREL 2019. pp. 878\u2013885 (2019). https:\/\/doi.org\/10.3850\/978-981-11-2724-3_0641-cd","DOI":"10.3850\/978-981-11-2724-3_0641-cd"},{"key":"3_CR43","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":"3_CR44","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., III, J.M., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA (2002)"},{"key":"3_CR45","unstructured":"Sullivan, K., Dugan, J.B.: Galileo user\u2019s manual & design overview. https:\/\/www.cse.msu.edu\/~cse870\/Materials\/FaultTolerant\/manual-galileo.htm, v2.11 - University of Virginia"},{"issue":"3","key":"3_CR46","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1109\/TDSC.2006.27","volume":"3","author":"A Th\u00fcmmler","year":"2006","unstructured":"Th\u00fcmmler, A., Buchholz, P., Telek, M.: A novel approach for phase-type fitting with the EM algorithm. IEEE Trans. Dependable Secur. Comput. 3(3), 245\u2013258 (2006). https:\/\/doi.org\/10.1109\/TDSC.2006.27","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"3_CR47","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. U.S, Nuclear Regulatory Commission (1981)"},{"key":"3_CR48","doi-asserted-by":"publisher","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Trans. Ind. Inform. 14(1), 370\u2013379 (2018). https:\/\/doi.org\/10.1109\/TII.2017.2710316","DOI":"10.1109\/TII.2017.2710316"},{"key":"3_CR49","doi-asserted-by":"publisher","unstructured":"Volk, M., Sher, F., Katoen, J.P., Stoelinga, M.: SAFEST: Fault Tree Analysis Via Probabilistic Model Checking. In: 2024 Annual Reliability and Maintainability Symposium (RAMS), pp.\u00a01\u20137. IEEE, Albuquerque, NM, USA (2024). https:\/\/doi.org\/10.1109\/RAMS51492.2024.10457719","DOI":"10.1109\/RAMS51492.2024.10457719"},{"key":"3_CR50","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.apm.2020.08.071","volume":"91","author":"G Wang","year":"2021","unstructured":"Wang, G., Hu, L., Zhang, T., Wang, Y.: Reliability modeling for a repairable (k1, k2)-out-of-n: G system with phase-type vacation time. Appl. Math. Model. 91, 311\u2013321 (2021)","journal-title":"Appl. Math. Model."},{"key":"3_CR51","unstructured":"Zimmer, D., Hermanns, H.: There are several ways out of the hospital. and into. In: 18th EAI International Conference, VALUETOOLS 2025, Glasgow, Scotland, December 10\u201311, 2025, Proceedings. Springer, Glasgow, Scotland (2025), (Forthcoming)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-35298-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T13:24:59Z","timestamp":1788009899000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-35298-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,30]]},"ISBN":["9783032352972","9783032352989"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-35298-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,8,30]]},"assertion":[{"value":"30 August 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST+FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Liverpool","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest-formats.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}