{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,28]],"date-time":"2025-04-28T14:54:14Z","timestamp":1745852054983,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031651717"},{"type":"electronic","value":"9783031651724"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-65172-4_10","type":"book-chapter","created":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:02:41Z","timestamp":1720785761000},"page":"153-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Resiliency Analysis of\u00a0Mission-Critical System of\u00a0Systems Using Formal Methods"],"prefix":"10.1007","author":[{"given":"Mahmoud","family":"Abdelgawad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indrakshi","family":"Ray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,13]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"Abdelgawad, M., Ray, I., Vasquez, T.: Workflow Resilience for Mission Critical Systems. In: Dolev, S., Schieber, B. (eds.) Stabilization, Safety, and Security of Distributed Systems. SSS 2023. LNCS, vol. 14310. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-44274-2_37","DOI":"10.1007\/978-3-031-44274-2_37"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1080\/14488388.2020.1809845","volume":"17","author":"S Cook","year":"2021","unstructured":"Cook, S., Pratt, J.: Advances in systems of systems engineering foundations and methodologies. Aust. J. Multi-Disciplinary Eng. 17(1), 9\u201322 (2021)","journal-title":"Aust. J. Multi-Disciplinary Eng."},{"key":"10_CR3","unstructured":"CPN Tools Administration: Help topics for verification (2018). http:\/\/cpntools.org\/2018\/01\/15\/verification\/. Accessed 12 Jan 2024"},{"issue":"3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/inst.12102","volume":"19","author":"J Dahmann","year":"2016","unstructured":"Dahmann, J., Roedler, G.: Systems of systems engineering standards. Insight 19(3), 23\u201326 (2016)","journal-title":"Insight"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Figueira, N., Pochmann, P., Oliveira, A., de\u00a0Freitas, E.P.: A C4ISR application on the swarm drones context in a low infrastructure scenario. In: the proceedings of the International Conference on Electrical, Computer and Energy Technologies (ICECET), pp.\u00a01\u20137. IEEE, Prague, Czech Republic (2022)","DOI":"10.1109\/ICECET55527.2022.9872941"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"128","DOI":"10.25046\/aj030215","volume":"3","author":"K Houliotis","year":"2018","unstructured":"Houliotis, K., Oikonomidis, P., Charchalakis, P., Stipidis, E.: Mission-critical systems design framework. Adv. Sci. Technol. Eng. Syst. J. 3(2), 128\u2013137 (2018)","journal-title":"Adv. Sci. Technol. Eng. Syst. J."},{"key":"10_CR7","unstructured":"ISO\/IEC\/IEEE: International standard \u2013 systems and software engineering \u2013 system of systems (SoS) considerations in life cycle stages of a system. ISO\/IEC\/IEEE 21839:2019(E) 1(8767114), 1\u201340 (2019)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/b95112_3","volume-title":"Coloured Petri Nets","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: CPN ML programming. In: Coloured Petri Nets, pp. 43\u201377. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b95112_3"},{"key":"10_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b95112"},{"issue":"3\u20134","key":"10_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transfer 9(3\u20134), 213\u2013254 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"4","key":"10_CR11","doi-asserted-by":"publisher","first-page":"94","DOI":"10.3390\/drones6040094","volume":"6","author":"V Lappas","year":"2022","unstructured":"Lappas, V., et al.: Autonomous unmanned heterogeneous vehicles for persistent monitoring. Drones 6(4), 94 (2022)","journal-title":"Drones"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-319-11203-9_20","volume-title":"Computer Security - ESORICS 2014","author":"JC Mace","year":"2014","unstructured":"Mace, J.C., Morisset, C., van Moorsel, A.: Quantitative workflow resiliency. In: Kuty\u0142owski, M., Vaidya, J. (eds.) ESORICS 2014. LNCS, vol. 8712, pp. 344\u2013361. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11203-9_20"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Mace, J., Morisset, C., van Moorsel, A.: Modelling user availability in workflow resiliency analysis. In: the proceedings of the 2015 Symposium and Bootcamp on the Science of Security (HotSoS), pp. 1\u201310. ACM, Urbana Illinois, USA (2015)","DOI":"10.1145\/2746194.2746201"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-319-23129-7_10","volume-title":"Software Engineering for Resilient Systems","author":"JC Mace","year":"2015","unstructured":"Mace, J.C., Morisset, C., van Moorsel, A.: Resiliency variance in workflows with choice. In: Fantechi, A., Pelliccione, P. (eds.) SERENE 2015. LNCS, vol. 9274, pp. 128\u2013143. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23129-7_10"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Ponsard, C., Massonet, P., Molderez, J.F., Rifaut, A., Lamsweerde, A.V., Van, H.T.: Early verification and validation of mission critical systems. Formal Methods Syst. Des. 30(3), 233\u2013247 (2007)","DOI":"10.1007\/s10703-006-0028-8"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"AV Ratzer","year":"2003","unstructured":"Ratzer, A.V., et al.: CPN tools for editing, simulating, and analysing coloured petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450\u2013462. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44919-1_28"},{"key":"10_CR17","first-page":"224","volume":"2","author":"R Ross","year":"2019","unstructured":"Ross, R., Pillitteri, V., Graubart, R., Bodeau, D., McQuaid, R.: NIST special publication 800\u2013160 volume 2: developing cyber resilient systems. NIST Spec. Publ. 2, 224 (2019)","journal-title":"NIST Spec. Publ."},{"issue":"4","key":"10_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1880022.1880034","volume":"13","author":"Q Wang","year":"2010","unstructured":"Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems. ACM Trans. Inf. Syst. Secur. 13(4), 1\u201335 (2010)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"10_CR19","unstructured":"Weisman, M., et al.: Quantitative measurement of cyber resilience: Modeling and experimentation. Computing Research Repository (2023). (CoRR) ABS\/2303.16307"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/TSC.2013.31","volume":"7","author":"P Yang","year":"2014","unstructured":"Yang, P., Xie, X., Ray, I., Lu, S.: Satisfiability analysis of workflows with control-flow patterns and authorization constraints. IEEE Trans. Serv. Comput. 7(2), 237\u2013251 (2014)","journal-title":"IEEE Trans. Serv. Comput."}],"container-title":["Lecture Notes in Computer Science","Data and Applications Security and Privacy XXXVIII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-65172-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:04:16Z","timestamp":1720785856000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-65172-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031651717","9783031651724"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-65172-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DBSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP Annual Conference on Data and Applications Security and Privacy","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"San Jose, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"14 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dbsec2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.dbsec2024.unimol.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}