{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:05:49Z","timestamp":1776373549830,"version":"3.51.2"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031765537","type":"print"},{"value":"9783031765544","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T00:00:00Z","timestamp":1731456000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T00:00:00Z","timestamp":1731456000000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-76554-4_6","type":"book-chapter","created":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T11:18:20Z","timestamp":1731410300000},"page":"87-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["PLACIDUS: Engineering Product Lines of\u00a0Rigorous Assurance Cases"],"prefix":"10.1007","author":[{"given":"Logan","family":"Murphy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torin","family":"Viger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio Di","family":"Sandro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,13]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/s10009-003-0132-7","volume":"5","author":"R Alur","year":"2004","unstructured":"Alur, R., et al.: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) infusion pump control system. Int. J. Softw. Tools Technol. Transfer 5, 308\u2013319 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-030-63882-5_12","volume-title":"Formal Methods: Foundations and Applications","author":"T Alves","year":"2020","unstructured":"Alves, T., Teixeira, L., Alves, V., Castro, T.: Porting the software product line refinement theory to the coq proof\u00a0assistant. In: Carvalho, G., Stolz, V. (eds.) SBMF 2020. LNCS, vol. 12475, pp. 192\u2013209. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63882-5_12"},{"key":"6_CR3","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product lines. Springer (2016)"},{"key":"6_CR4","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L.: Static analysis of featured transition systems. In: Proceedings of the 23rd International Systems and Software Product Line Conference-Volume A, pp. 39\u201351 (2019)","DOI":"10.1145\/3336294.3336295"},{"key":"6_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102879","volume":"224","author":"MH ter Beek","year":"2022","unstructured":"ter Beek, M.H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L., Scarso, G.: Fts4vmc: a front-end tool for static analysis and family-based model checking of ftss with vmc. Sci. Comput. Program. 224, 102879 (2022)","journal-title":"Sci. Comput. Program."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-012-0234-1","volume":"14","author":"A Classen","year":"2012","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking software product lines with snip. Int. J. Softw. Tools Technol. Transfer 14, 589\u2013612 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1016\/j.scico.2013.09.019","volume":"80","author":"A Classen","year":"2014","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80, 416\u2013439 (2014)","journal-title":"Sci. Comput. Program."},{"key":"6_CR9","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering-Volume 1, pp. 335\u2013344 (2010)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-52335-9_47","volume-title":"COLOG-88","author":"T Coquand","year":"1990","unstructured":"Coquand, T., Paulin, C.: Inductively defined types. In: Martin-L\u00f6f, P., Mints, G. (eds.) COLOG 1988. LNCS, vol. 417, pp. 50\u201366. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/3-540-52335-9_47"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-35873-9_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S Cruanes","year":"2013","unstructured":"Cruanes, S., Hamon, G., Owre, S., Shankar, N.: Tool integration with the evidential tool bus. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 275\u2013294. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_18"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/978-3-030-79876-5_37","volume-title":"Automated Deduction \u2013 CADE 28","author":"L Moura","year":"2021","unstructured":"Moura, L., Ullrich, S.: The lean 4 theorem prover and programming language. In: Platzer, A., Sutcliffe, G. (eds.) CADE 2021. LNCS (LNAI), vol. 12699, pp. 625\u2013635. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79876-5_37"},{"key":"6_CR13","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-319-19216-1_30","volume-title":"Theory and Engineering of Complex Systems and Dependability","author":"AL de Oliveira","year":"2015","unstructured":"de Oliveira, A.L., Braga, R.T.V., Masiero, P.C., Papadopoulos, Y., Habli, I., Kelly, T.: Supporting the automated generation of modular product line safety cases. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Theory and Engineering of Complex Systems and Dependability. AISC, vol. 365, pp. 319\u2013330. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19216-1_30"},{"issue":"4","key":"6_CR14","doi-asserted-by":"publisher","first-page":"830","DOI":"10.1109\/TR.2014.2335995","volume":"63","author":"E Denney","year":"2014","unstructured":"Denney, E., Pai, G.: Automating the assembly of aviation safety cases. IEEE Trans. Reliab. 63(4), 830\u2013849 (2014)","journal-title":"IEEE Trans. Reliab."},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s10515-017-0230-5","volume":"25","author":"E Denney","year":"2018","unstructured":"Denney, E., Pai, G.: Tool support for assurance case development. J. Automated Software Eng. 25(3), 435\u2013499 (2018)","journal-title":"J. Automated Software Eng."},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7613, pp. 8\u201321. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33675-1_2"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Di Sandro, A., Selim, G.M.K., Salay, R., Viger, T., Chechik, M., Kokaly, S.: MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. In: Proceedings of MODELS\u201920 Companion, pp. 15:1\u201315:5. ACM (2020)","DOI":"10.1145\/3417990.3422012"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Di\u00a0Sandro, A., Shahin, R., Chechik, M.: Adding product-line capabilities to your favourite modeling language. In: Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS\u201923), pp. 3\u201312 (2023)","DOI":"10.1145\/3571788.3571791"},{"issue":"6","key":"6_CR19","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/s00165-021-00537-4","volume":"33","author":"S Foster","year":"2021","unstructured":"Foster, S., Nemouchi, Y., Gleirscher, M., Wei, R., Kelly, T.: Integration of formal proof into unified assurance cases with Isabelle\/Sacm. Formal Aspects Comput. 33(6), 855\u2013884 (2021)","journal-title":"Formal Aspects Comput."},{"key":"6_CR20","unstructured":"Habli, I.: Model-based assurance of safety-critical product lines. Ph.D. thesis, University of York (2009)"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Habli, I., Kelly, T.: A safety case approach to assuring configurable architectures of safety-critical product lines. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol. 6150, pp. 142\u2013160. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13556-9_9","DOI":"10.1007\/978-3-642-13556-9_9"},{"issue":"2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/227699.227700","volume":"18","author":"CV Hall","year":"1996","unstructured":"Hall, C.V., Hammond, K., Peyton Jones, S.L., Wadler, P.L.: Type classes in haskell. ACM Trans. Program. Lang. Syst. (TOPLAS) 18(2), 109\u2013138 (1996)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"6_CR23","unstructured":"ISO: ISO26262: Road vehicles \u2013 Functional safety (2011)"},{"issue":"3","key":"6_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2211616.2211617","volume":"21","author":"C K\u00e4stner","year":"2012","unstructured":"K\u00e4stner, C., Apel, S., Th\u00fcm, T., Saake, G.: Type checking annotation-based product lines. ACM Trans. Software Eng. Methodol. (TOSEM) 21(3), 1\u201339 (2012)","journal-title":"ACM Trans. Software Eng. Methodol. (TOSEM)"},{"key":"6_CR25","unstructured":"Kelly, T.P.: Arguing safety: a systematic approach to managing safety cases. Ph.D. thesis, University of York (1999)"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-17511-4_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"KRM Leino","year":"2010","unstructured":"Leino, K.R.M.: Dafny: an automatic program verifier for functional correctness. In: Clarke, E.M., Voronkov, A. (eds.) LPAR 2010. LNCS (LNAI), vol. 6355, pp. 348\u2013370. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17511-4_20"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Matsuno, Y.: A design and implementation of an assurance case language. In: 2014 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 630\u2013641. IEEE (2014)","DOI":"10.1109\/DSN.2014.97"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Murphy, L., Di Sandro, A., Shahin, R.I., Chechik, M.: Reusing your favourite analysis framework to handle workflows of product line models. In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A (2023). https:\/\/api.semanticscholar.org\/CorpusID:261124727","DOI":"10.1145\/3579027.3608983"},{"key":"6_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110922","volume":"176","author":"D Ne\u0161i\u0107","year":"2021","unstructured":"Ne\u0161i\u0107, D., Nyberg, M., Gallina, B.: Product-line assurance cases from contract-based design. J. Syst. Softw. 176, 110922 (2021)","journal-title":"J. Syst. Softw."},{"key":"6_CR30","doi-asserted-by":"publisher","unstructured":"Rushby, J.: Formalism in safety cases. In: Dale, C., Anderson, T. (eds.) Making Systems Safer, pp. 3\u201317. Springer, London (2009). https:\/\/doi.org\/10.1007\/978-1-84996-086-1_1","DOI":"10.1007\/978-1-84996-086-1_1"},{"key":"6_CR31","unstructured":"Rushby, J.: The interpretation and evaluation of assurance cases. Comp. Science Laboratory, SRI International, Technical report. SRI-CSL-15-01 (2015)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Salay, R., Famelis, M., Rubin, J., Di\u00a0Sandro, A., Chechik, M.: Lifting model transformations to product lines. In: Proceedings of the 36th International Conference on Software Engineering, pp. 117\u2013128 (2014)","DOI":"10.1145\/2568225.2568267"},{"key":"6_CR33","unstructured":"Sandro, A.D., Salay, R., Famelis, M., Kokaly, S., Chechik, M.: MMINT: a graphical tool for interactive model management. In: Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27, 2015. CEUR Workshop Proceedings, vol.\u00a01554, pp. 16\u201319. CEUR-WS.org (2015). https:\/\/ceur-ws.org\/Vol-1554\/PD_MoDELS_2015_paper_6.pdf"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Shahin, R., Chechik, M., Salay, R.: Lifting datalog-based analyses to software product lines. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 39\u201349 (2019)","DOI":"10.1145\/3338906.3338928"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-030-83903-1_9","volume-title":"Computer Safety, Reliability, and Security","author":"R Shahin","year":"2021","unstructured":"Shahin, R., Kokaly, S., Chechik, M.: Towards certified analysis of software product line safety cases. In: Habli, I., Sujan, M., Bitsch, F. (eds.) SAFECOMP 2021. LNCS, vol. 12852, pp. 130\u2013145. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-83903-1_9"},{"key":"6_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-92432-8_2","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2018","author":"I Sljivo","year":"2018","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H., Puri, S.: Tool-supported safety-relevant component reuse: from specification to argumentation. In: Casimiro, A., Ferreira, P.M. (eds.) Ada-Europe 2018. LNCS, vol. 10873, pp. 19\u201333. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92432-8_2"},{"key":"6_CR37","unstructured":"Takeyama, M.: Towards formal assurance case framework in Agda (2014). https:\/\/cs.ioc.ee\/~tarmo\/tsem14\/takeyama-slides.pdf"},{"issue":"1","key":"6_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. (CSUR) 47(1), 1\u201345 (2014)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Schaefer, I., Apel, S., Hentschel, M.: Family-based deductive verification of software product lines. In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, pp. 11\u201320 (2012)","DOI":"10.1145\/2371401.2371404"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Varadarajan, S., et al.: Clarissa: foundations, tools & automation for assurance cases. In: 2023 IEEE\/AIAA 42nd Digital Avionics Systems Conference (DASC), pp. 1\u201310. IEEE (2023)","DOI":"10.1109\/DASC58513.2023.10311213"},{"issue":"3","key":"6_CR41","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s10270-016-0530-4","volume":"15","author":"D Varr\u00f3","year":"2016","unstructured":"Varr\u00f3, D., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Software Syst. Model. 15(3), 609\u2013629 (2016)","journal-title":"Software Syst. Model."},{"issue":"5","key":"6_CR42","doi-asserted-by":"publisher","first-page":"1473","DOI":"10.1007\/s10270-022-01063-4","volume":"22","author":"T Viger","year":"2023","unstructured":"Viger, T., Murphy, L., Di Sandro, A., Menghi, C., Shahin, R., Chechik, M.: The foremost approach to building valid model-based safety arguments. Softw. Syst. Model. 22(5), 1473\u20131494 (2023)","journal-title":"Softw. Syst. Model."},{"key":"6_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-030-54549-9_3","volume-title":"Computer Safety, Reliability, and Security","author":"T Viger","year":"2020","unstructured":"Viger, T., Salay, R., Selim, G., Chechik, M.: Just enough formality in assurance argument structures. In: Casimiro, A., Ortmeier, F., Bitsch, F., Ferreira, P. (eds.) SAFECOMP 2020. LNCS, vol. 12234, pp. 34\u201349. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54549-9_3"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Walkingshaw, E., K\u00e4stner, C., Erwig, M., Apel, S., Bodden, E.: Variational data structures: exploring tradeoffs in computing with variability. In: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, pp. 213\u2013226 (2014)","DOI":"10.1145\/2661136.2661143"},{"issue":"2","key":"6_CR45","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1177\/193229681000400207","volume":"4","author":"Y Zhang","year":"2010","unstructured":"Zhang, Y., Jones, P.L., Jetley, R.: A hazard analysis for a generic insulin infusion pump. J. Diabetes Sci. Technol. 4(2), 263\u2013283 (2010)","journal-title":"J. Diabetes Sci. Technol."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-76554-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T11:38:40Z","timestamp":1737200320000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-76554-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,13]]},"ISBN":["9783031765537","9783031765544"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-76554-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,13]]},"assertion":[{"value":"13 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Manchester","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ifm2024.cs.manchester.ac.uk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}