{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T07:14:04Z","timestamp":1766733244335,"version":"3.40.3"},"publisher-location":"Cham","reference-count":81,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319955964"},{"type":"electronic","value":"9783319955971"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-95597-1_2","type":"book-chapter","created":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T08:12:59Z","timestamp":1548403979000},"page":"25-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Marco","family":"Rocchetto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerio","family":"Senni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,26]]},"reference":[{"issue":"8","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1834","DOI":"10.1109\/JPROC.2012.2235131","volume":"101","author":"K Sampigethaya","year":"2013","unstructured":"Sampigethaya K, Poovendran R (2013) Aviation cyber-physical systems: foundations for future aircraft and air transport. Proc IEEE 101(8):1834\u20131855","journal-title":"Proc IEEE"},{"key":"2_CR2","volume-title":"Civil avionic systems","author":"I Moir","year":"2013","unstructured":"Moir I, Seabridge A, Jukes M (2013) Civil avionic systems. Wiley, Hoboken"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Shavit M, Gryc A, Miucic R (2007) Firmware update over the air (FOTA) for automotive industry. In: Asia Pacific automotive engineering conference.","DOI":"10.4271\/2007-01-3523"},{"key":"2_CR4","volume-title":"The security development lifecycle","author":"M Howard","year":"2006","unstructured":"Howard M, Lipner S (2006) The security development lifecycle, vol 8. Microsoft Press, Redmond"},{"key":"2_CR5","unstructured":"ISA\/IEC 62443 Security for industrial automation and control systems"},{"issue":"2","key":"2_CR6","first-page":"92","volume":"4","author":"G Disterer","year":"2013","unstructured":"Disterer G (2013) ISO\/IEC 27000, 27001 and 27002 for information security management. J Inf Secur 4(2):92\u2013100","journal-title":"J Inf Secur"},{"key":"2_CR7","unstructured":"Joint Task Force Transformation Initiative (2003) SP 800\u201353 Rev. 4, NIST"},{"key":"2_CR8","unstructured":"RTCA Inc (2014) DO-356. RTCA"},{"key":"2_CR9","unstructured":"SAE (2016) J3061 \u2013 Surfacae vehicle recommended practice. SAE International technical report"},{"key":"2_CR10","unstructured":"ISO\/IEC 15408. Information technology \u2013 security requirements \u2013 evaluation criteria for IT security"},{"key":"2_CR11","unstructured":"The CORAS EU Project FP5 IST-2000-25031, FP5-IST"},{"key":"2_CR12","volume-title":"Systems engineering and analysis","author":"BS Blanchard","year":"1990","unstructured":"Blanchard BS, Fabrycky WJ, Fabrycky WJ (1990) Systems engineering and analysis. Prentice Hall, Englewood Cliffs"},{"key":"2_CR13","volume-title":"Unified modeling language reference manual","author":"J Rumbaugh","year":"2004","unstructured":"Rumbaugh J, Jacobson I, Booch G (2004) Unified modeling language reference manual, 2nd edn. Pearson Higher Education, Peking","edition":"2"},{"issue":"12","key":"2_CR14","first-page":"21","volume":"24","author":"B Schneier","year":"1999","unstructured":"Schneier B (1999) Attack trees. Softw Tools Prof Progr 24(12):21\u201329","journal-title":"Softw Tools Prof Progr"},{"issue":"C","key":"2_CR15","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.cose.2015.11.001","volume":"57","author":"A Shameli-Sendi","year":"2016","unstructured":"Shameli-Sendi A, Aghababaei-Barzegar R, Cheriet M (2016) Taxonomy of information security risk assessment (ISRA). J Comput Secur 57(C):14\u201330","journal-title":"J Comput Secur"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Shi J, Wan J, Yan H, Suo H (2011) A survey of cyber-physical systems. In: International conference on Wireless Communications and Signal Processing (WCSP)","DOI":"10.1109\/WCSP.2011.6096958"},{"issue":"7350","key":"2_CR17","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1038\/474142a","volume":"474","author":"S Weinberger","year":"2011","unstructured":"Weinberger S (2011) Computer security: is this the start of cyberwarfare? Nat News 474(7350):142\u2013145","journal-title":"Nat News"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Miller B, Rowe D (2012) A survey SCADA of and critical infrastructure incidents. In: Proceedings of the conference on research in information technology","DOI":"10.1145\/2380790.2380805"},{"issue":"3","key":"2_CR19","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1109\/5.558710","volume":"85","author":"S Edwards","year":"1997","unstructured":"Edwards S, Lavagno L, Lee E, Sangiovanni-Vincentelli A (1997) Design of embedded systems: formal models, validation, and synthesis. Proc IEEE 85(3):366\u2013390","journal-title":"Proc IEEE"},{"key":"2_CR20","unstructured":"West A (2009) Nasa study on flight software complexity. NASA"},{"key":"2_CR21","unstructured":"OWASP, The Open Web Applicaiton Security Project (OWASP) [Online]. Available: \n                    www.owasp.org\n                    \n                  . Accessed Sept 2017"},{"key":"2_CR22","unstructured":"MITRE, Common Wekness Enumeration (CWE) [Online]. Available: \n                    cwe.mitre.org\n                    \n                  . Accessed Sept 2017"},{"issue":"1","key":"2_CR23","first-page":"80","volume":"1","author":"EM Hutchins","year":"2011","unstructured":"Hutchins EM, Cloppert MJ, Amin RM (2011) Intelligence-driven computer network defense informed by analysis of adversary campaigns and intrusion kill chains. Lead Issues Inf Warf Secur Res 1(1):80","journal-title":"Lead Issues Inf Warf Secur Res"},{"issue":"8","key":"2_CR24","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/S1353-4858(11)70086-1","volume":"2011","author":"C Tankar","year":"2011","unstructured":"Tankar C (2011) Advanced persistent threats and how to monitor and deter them. Netw Secur 2011(8):16\u201319","journal-title":"Netw Secur"},{"key":"2_CR25","unstructured":"Ict, Sintef, The CORAS method [Online]. Available: \n                    http:\/\/coras.sourceforge.net\n                    \n                  \/"},{"key":"2_CR26","unstructured":"ThreatModeler [Online]. Available: \n                    threatmodeler.com\n                    \n                  . Accessed Sept 2017"},{"key":"2_CR27","unstructured":"Microsoft Corporation, STRIDE \u2013 threat modeling [Online]. Available: \n                    https:\/\/msdn.microsoft.com\/en-us\/library\/ff648644.aspx"},{"key":"2_CR28","unstructured":"RTCA (2011) DO-333 \u2013 formal methods supplement to DO-178C and DO-278A. RTCA"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Blanchet B (2012) Security protocol verification: symbolic and computational models. In: International conference on Principles of Security and Trust (POST)","DOI":"10.1007\/978-3-642-28641-4_2"},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-23570-7_5","volume-title":"Cyber risk management","author":"A Refsdal","year":"2015","unstructured":"Refsdal A, Solhaug B, Stolen K (2015) Cyber risk management. In: Cyber risk management. Springer, Cham, pp 33\u201347"},{"key":"2_CR31","unstructured":"International Organization for Standardization (2009) ISO 31000 \u2013 risk management \u2013 principles and guidelines"},{"issue":"C","key":"2_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cose.2015.09.009","volume":"56","author":"Y Cherdantseva","year":"2016","unstructured":"Cherdantseva Y, Burnap P, Blyth A, Eden P, Jones K, Soulsby H, Stoddart K (2016) A review of cyber security risk assessment methods for SCADA systems. Comput Secur 56(C):1\u201327","journal-title":"Comput Secur"},{"key":"2_CR33","unstructured":"NIST, Cybersecurity framework [Online]. Available: \n                    https:\/\/www.nist.gov\/cyberframework"},{"key":"2_CR34","volume-title":"Threat modeling: designing for security","author":"A Shostack","year":"2014","unstructured":"Shostack A (2014) Threat modeling: designing for security. Wiley, Indianapolis"},{"key":"2_CR35","unstructured":"SESAR [Online]. Available: \n                    www.sesarju.eu"},{"key":"2_CR36","volume-title":"The CORAS approach","author":"MS Lund","year":"2011","unstructured":"Lund MS, Solhaug B, St\u00f8len K (2011) The CORAS approach. Springer, Berlin\/Heidelberg"},{"key":"2_CR37","unstructured":"NIST, National Vulnerability Database (NVD) [Online]. Available: \n                    nvd.nist.gov\n                    \n                  . Accessed Sept 2017"},{"key":"2_CR38","unstructured":"OMG, UML succsess stories [Online]. Available: \n                    http:\/\/www.uml.org\/uml_success_stories\/index.htm\n                    \n                  . Accessed Sept 2017"},{"key":"2_CR39","unstructured":"Houmb SH, Den Braber F, Lund MS, St\u00f8len K (2002) Towards a UML profile for model-based risk assessment. In: Workshop on critical systems development with UML"},{"key":"2_CR40","unstructured":"Lund MS, Hogganvik I, Seehusen F, St\u00f8len K (2003) UML profile for security assessment. Techinical report STF A"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Lodderstedt T, Basin D, Doser J (2002) SecureUML: a UML-based modeling language for model-driven security. In: Proceedings of the international conference on the unified modeling language","DOI":"10.1007\/3-540-45800-X_33"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens J (2002) UMLsec: extending UML for secure systems development. In: Proceedings of the international conference on the unified modeling language","DOI":"10.1007\/3-540-45800-X_32"},{"key":"2_CR43","unstructured":"McDermott J, Fox C (1999) Using abuse case models for security requirements analysis. In: Proceedings of Computer Security Applications Conference (ACSAC)"},{"issue":"1","key":"2_CR44","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/s00766-004-0194-4","volume":"10","author":"G Sindre","year":"2005","unstructured":"Sindre G, Opdahl AL (2005) Eliciting security requirements with misuse cases. Requir Eng 10(1):34\u201344","journal-title":"Requir Eng"},{"key":"2_CR45","volume-title":"Systems engineering with SysML\/UML: modeling, analysis, design","author":"T Weilkiens","year":"2007","unstructured":"Weilkiens T (2007) Systems engineering with SysML\/UML: modeling, analysis, design. The OMG Press, Amsterdam\/Boston"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Roudier Y, Apvrille L (2015) SysML-sec: a model driven approach for designing safe and secure systems. In: Model-Driven Engineering and Software Development conference (MODELSWARD)","DOI":"10.1109\/ACVI.2016.6"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Lugou F, Li LW, Apvrille L, Ameur-Boulifa R (2016) Sysml models and model transformation for security. In: Model-Driven Engineering and Software Development conference (Modelsward)","DOI":"10.5220\/0005748703310338"},{"key":"2_CR48","unstructured":"E-safety Vehicle Intrusion Protected Applications (EVITA) EU FP7 Programme, 2007\u20132013"},{"key":"2_CR49","unstructured":"AADL [Online]. Available: \n                    http:\/\/www.aadl.info\n                    \n                  \/. Accessed Mar 2018"},{"key":"2_CR50","unstructured":"Ellison R, Householder A, Hudak J, Kazman R, Woody C Extending AADL for security design assurance of cyber-physical systems. CMU\/SEI-2015-TR-014"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Rocchetto M, Tippenhauer NO (2017) Towards formal security analysis of industrial control systems. In: Asia conference on Computer and Communications Security (AsiaCCS)","DOI":"10.1145\/3052973.3053024"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Ahmed CM, Murgia C, Ruths J (2017) Model-based attack detection scheme for smart water distribution networks. In: Asia conference on Computer And Communication Security (AsiaCCS)","DOI":"10.1145\/3052973.3053011"},{"key":"2_CR53","doi-asserted-by":"crossref","unstructured":"Rocchetto M, Tippenhauer NO (2016) On attacker models and profiles for cyber-physical systems. In: European symposium on Research in Computer Science (ESORICS)","DOI":"10.1007\/978-3-319-45741-3_22"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Lanotte R, Merro M, Muradore R, Vigan\u00f2 L (2017) A formal approach to cyber-physical attacks. In: Computer Security Foundation symposium (CSF)","DOI":"10.1109\/CSF.2017.12"},{"issue":"23","key":"2_CR55","doi-asserted-by":"publisher","first-page":"6415","DOI":"10.1073\/pnas.1517797113","volume":"113","author":"C Herley","year":"2016","unstructured":"Herley C (2016) Unfalsifiability of security claims. Natl Acad Sci 113(23):6415\u20136420","journal-title":"Natl Acad Sci"},{"issue":"1\u20132","key":"2_CR56","first-page":"1","volume":"1","author":"B Blanchet","year":"2016","unstructured":"Blanchet B (2016) Modeling and verifying security protocols with the applied pi calculus and ProVerif. Found Trends Priv Secur 1(1\u20132):1\u2013135","journal-title":"Found Trends Priv Secur"},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"Garlan D (2003) Formal modeling and analysis of software architecture: components, connectors, and events. In: Proceedings of formal methods for software architectures","DOI":"10.1007\/978-3-540-39800-4_1"},{"issue":"5923","key":"2_CR58","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1126\/science.1165893","volume":"324","author":"M Schmidt","year":"2009","unstructured":"Schmidt M, Lipson H (2009) Distilling free-form natural laws from experimental data. Science 324(5923):81\u201385","journal-title":"Science"},{"key":"2_CR59","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-319-25141-7_2","volume-title":"Cyber Physical Systems. Design, Modeling, and Evaluation","author":"Stefan Schupp","year":"2015","unstructured":"Schupp S, Abraham E, Chen X, Makhlouf IB, Frehse G, Sankaranarayanan S, Kowalewski S (2015) Current challenges in the verification of hybrid systems. In: CyPhy 2015, LNCS 9361, pp 8\u201324"},{"key":"2_CR60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4","volume-title":"Logical analysis of hybrid systems","author":"A Platzer","year":"2010","unstructured":"Platzer A (2010) Logical analysis of hybrid systems. Springer, Berlin\/Heidelberg"},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"de Moura L, Bj\u00f8rner N (2008) Z3: an efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems conference (TACAS)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"Jovanovi\u0107 D, de Moura L (2012) Solving non-linear arithmetic. In: International Joint Conference of Automated Reasoning (IJCAR)","DOI":"10.1007\/978-3-642-31365-3_27"},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Dutertre B (2014) Yices 2.2. In: Computer Aided Verification (CAV)","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"2_CR64","doi-asserted-by":"crossref","unstructured":"Cimatti A, Griggio A, Schaafsma BJ, Sebastiani R (2013) The MathSAT5 SMT solver. In: Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"Barrett C, Conway CL, Morgan D, Hadarean L, Jovanovi\u0107 D, King T, Reynolds A, Tinelli C (2011) Cvc4. In: International conference on Computer Aided Verification (CAV)","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"Cimatti A, Griggio A, Irfan A, Roveri M, Sebastiani R (2017) Invariant checking of NRA transition systems via incremental reduction to LRA with EUF. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","DOI":"10.1007\/978-3-662-54577-5_4"},{"issue":"2","key":"2_CR67","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev D, Yao A (1983) On the security of public key protocols. IEEE Trans Inf Theory 29(2):198\u2013208","journal-title":"IEEE Trans Inf Theory"},{"issue":"1\u20132","key":"2_CR68","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.tcs.2006.08.035","volume":"367","author":"S Escobar","year":"2006","unstructured":"Escobar S, Meadows C, Meseguer J (2006) A rewriting-based inference system for the nrl protocol analyzer and its meta-logical properties. Theory Comput Sci 367(1\u20132):162\u2013202","journal-title":"Theory Comput Sci"},{"key":"2_CR69","doi-asserted-by":"crossref","unstructured":"Basin D, Capkun S, Schaller P, Schmidt, B (2009) Let\u2019s get physical: models and methods for real-world security protocols. In: International conference on Theorem Proving in Higher order Logics (TPHOL)","DOI":"10.1007\/978-3-642-03359-9_1"},{"issue":"6","key":"2_CR70","doi-asserted-by":"publisher","first-page":"559","DOI":"10.14429\/dsj.66.10795","volume":"66","author":"MS Barik","year":"2016","unstructured":"Barik MS, Segupta A, Mazumdar C (2016) Attack graph generation and analysis technique. Def Sci J 66(6):559\u2013567","journal-title":"Def Sci J"},{"key":"2_CR71","doi-asserted-by":"crossref","unstructured":"Wang JA, Guo M (2009) Ovm: an ontology for vulnerability management. In: Workshop on Cyber Security and Information Intelligence Research (CSIIRW)","DOI":"10.1145\/1558607.1558646"},{"issue":"2","key":"2_CR72","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1002\/stvr.1580","volume":"26","author":"M Felderer","year":"2016","unstructured":"Felderer M, Zech P, Breu R, B\u00fcchler M, Pretschner A (2016) Model-based security testing: a taxonomy and systematic classification. Softw Test Verif Reliab 26(2):119\u2013148","journal-title":"Softw Test Verif Reliab"},{"issue":"6","key":"2_CR73","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/MSP.2006.145","volume":"4","author":"P Mell","year":"2006","unstructured":"Mell P, Scarfone K, Romanosky S (2006) Common vulnerability scoring system. IEEE Secur Priv 4(6):85\u201389","journal-title":"IEEE Secur Priv"},{"key":"2_CR74","doi-asserted-by":"crossref","unstructured":"Mell P, Grance T (2002) Use of the common vulnerabilities and exposures (cve) vulnerability naming scheme. National Insitute of Standards and Technology, Computer Security Division, Gaithersburg MD","DOI":"10.6028\/NIST.SP.800-51"},{"key":"2_CR75","unstructured":"MITRE, Open Vulnerbility and Assessment Language (OVAL) [Online]. Available: \n                    https:\/\/oval.cisecurity.org\n                    \n                  \/. Accessed Sept 2017"},{"key":"2_CR76","unstructured":"MITRE, Common Attack Pattern and Enumeration and Classification (CAPEC) [Online]. Available: \n                    http:\/\/capec.mitre.org\n                    \n                  \/. Accessed Sept 2017"},{"key":"2_CR77","doi-asserted-by":"crossref","unstructured":"Glinz M (1995) An integrated formal model of scenarios based on statecharts. In: Software Engineering (ESEC)","DOI":"10.1007\/3-540-60406-5_19"},{"key":"2_CR78","doi-asserted-by":"crossref","unstructured":"Arnold A, Baleani M, Ferrari A, Marazza M, Senni V, Legay A, Quilbeuf J, Etzien C (2016) An application of SMC to continuous validation of heterogeneous systems. In: SimuTools, ICST, Brussels, Belgium","DOI":"10.4108\/eai.1-2-2017.152154"},{"key":"2_CR79","doi-asserted-by":"crossref","unstructured":"Mathur AP, Tippenhauer NO (2016) SWaT: a water treatment testbed for research and training on ICS security. In: Proceedings of the cyber-physical systems for smart water networks (CySWater) workshop","DOI":"10.1109\/CySWater.2016.7469060"},{"key":"2_CR80","unstructured":"Urbina D, Giraldo J, Tippenhauer NO, Cardenas A (2016) Attacking fieldbus communications in ICS: applications to the SWaT Testbed. In: Proceedings of Singapore Cyber security conference (SG-CRC)"},{"key":"2_CR81","doi-asserted-by":"crossref","unstructured":"Rocchetto M, Tippenhauer NO (2016) CPDY: extending the Dolev-Yao attacker with. In: International Conference on Formal Engineering Methods (ICFEM)","DOI":"10.1007\/978-3-319-47846-3_12"}],"container-title":["Advanced Sciences and Technologies for Security Applications","Resilience of Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95597-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:15:11Z","timestamp":1558372511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95597-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319955964","9783319955971"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95597-1_2","relation":{},"ISSN":["1613-5113","2363-9466"],"issn-type":[{"type":"print","value":"1613-5113"},{"type":"electronic","value":"2363-9466"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 January 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}