{"id":"https://openalex.org/W3207537580","doi":"https://doi.org/10.1109/aero53065.2022.9843589","title":"A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements","display_name":"A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements","publication_year":2022,"publication_date":"2022-03-05","ids":{"openalex":"https://openalex.org/W3207537580","doi":"https://doi.org/10.1109/aero53065.2022.9843589","mag":"3207537580"},"language":"en","primary_location":{"id":"doi:10.1109/aero53065.2022.9843589","doi":"https://doi.org/10.1109/aero53065.2022.9843589","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aero53065.2022.9843589","pdf_url":null,"source":{"id":"https://openalex.org/S4210171417","display_name":"IEEE Aerospace Conference (AERO)","issn_l":"1095-323X","issn":["1095-323X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Aerospace Conference (AERO)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2110.09277","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053767784","display_name":"Matt Luckcuck","orcid":"https://orcid.org/0000-0002-6444-9312","observed_orcids":["https://orcid.org/0000-0002-6444-9312"]},"institutions":[{"id":"https://openalex.org/I157286207","display_name":"National University of Ireland, Maynooth","ror":"https://ror.org/048nfjm95","country_code":"IE","type":"education","lineage":["https://openalex.org/I157286207"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Matt Luckcuck","raw_affiliation_strings":["Maynooth University,Department of Computer Science,Ireland","Department of Computer Science, Maynooth University, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Maynooth University,Department of Computer Science,Ireland","institution_ids":["https://openalex.org/I157286207"]},{"raw_affiliation_string":"Department of Computer Science, Maynooth University, Ireland","institution_ids":["https://openalex.org/I157286207"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076259366","display_name":"Marie Farrell","orcid":"https://orcid.org/0000-0001-7708-3877","observed_orcids":["https://orcid.org/0000-0001-7708-3877"]},"institutions":[{"id":"https://openalex.org/I157286207","display_name":"National University of Ireland, Maynooth","ror":"https://ror.org/048nfjm95","country_code":"IE","type":"education","lineage":["https://openalex.org/I157286207"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Marie Farrell","raw_affiliation_strings":["Maynooth University,Department of Computer Science,Ireland","Department of Computer Science, Maynooth University, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Maynooth University,Department of Computer Science,Ireland","institution_ids":["https://openalex.org/I157286207"]},{"raw_affiliation_string":"Department of Computer Science, Maynooth University, Ireland","institution_ids":["https://openalex.org/I157286207"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060022061","display_name":"Ois\u00edn Sheridan","orcid":"https://orcid.org/0000-0002-8613-2500","observed_orcids":["https://orcid.org/0000-0002-8613-2500"]},"institutions":[{"id":"https://openalex.org/I157286207","display_name":"National University of Ireland, Maynooth","ror":"https://ror.org/048nfjm95","country_code":"IE","type":"education","lineage":["https://openalex.org/I157286207"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Oisin Sheridan","raw_affiliation_strings":["Maynooth University,Department of Computer Science,Ireland","Department of Computer Science, Maynooth University, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Maynooth University,Department of Computer Science,Ireland","institution_ids":["https://openalex.org/I157286207"]},{"raw_affiliation_string":"Department of Computer Science, Maynooth University, Ireland","institution_ids":["https://openalex.org/I157286207"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003866910","display_name":"Rosemary Monahan","orcid":"https://orcid.org/0000-0003-3886-4675","observed_orcids":["https://orcid.org/0000-0003-3886-4675"]},"institutions":[{"id":"https://openalex.org/I157286207","display_name":"National University of Ireland, Maynooth","ror":"https://ror.org/048nfjm95","country_code":"IE","type":"education","lineage":["https://openalex.org/I157286207"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Rosemary Monahan","raw_affiliation_strings":["Maynooth University,Department of Computer Science,Ireland","Department of Computer Science, Maynooth University, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Maynooth University,Department of Computer Science,Ireland","institution_ids":["https://openalex.org/I157286207"]},{"raw_affiliation_string":"Department of Computer Science, Maynooth University, Ireland","institution_ids":["https://openalex.org/I157286207"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I157286207"],"apc_list":null,"apc_paid":null,"fwci":2.3686,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.88032787,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.00430000014603138,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7310000061988831},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.6880000233650208},{"id":"https://openalex.org/keywords/simulink-model","display_name":"Simulink model","score":0.8619999885559082},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.8659999966621399},{"id":"https://openalex.org/keywords/requirements-traceability","display_name":"requirements traceability","score":0.9700000286102295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7801451683044434},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.7180513739585876},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6626474261283875},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.647164523601532},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6445806622505188},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4917965233325958},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.49096325039863586},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.48982593417167664},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.47038212418556213},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4628976881504059},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.45219218730926514},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43038395047187805},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42635613679885864},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4159373342990875},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.4138856530189514},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.40301790833473206},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3729526996612549},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31415677070617676},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2631509304046631},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2545223832130432},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11041051149368286},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0933428406715393},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/aero53065.2022.9843589","doi":"https://doi.org/10.1109/aero53065.2022.9843589","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aero53065.2022.9843589","pdf_url":null,"source":{"id":"https://openalex.org/S4210171417","display_name":"IEEE Aerospace Conference (AERO)","issn_l":"1095-323X","issn":["1095-323X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Aerospace Conference (AERO)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2110.09277","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2110.09277","pdf_url":"https://arxiv.org/pdf/2110.09277","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:https://nottingham-repository.worktribe.com/:45862095","doi":null,"is_oa":true,"landing_page_url":"https://doi.org/10.1109/AERO53065.2022.9843589","pdf_url":"https://nottingham-repository.worktribe.com/file/45862095/1/A%20Methodology%20for%20Developing%20a%20Verifiable%20Aircraft%20Engine%20Controller%20from%20Formal%20Requirements","source":{"id":"https://openalex.org/S4306402483","display_name":"Repository@Nottingham (University of Nottingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I142263535","host_organization_name":"University of Nottingham","host_organization_lineage":["https://openalex.org/I142263535"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Presentation / Conference Contribution"},{"id":"pmh:oai:nottingham-repository.worktribe.com:45862095","doi":null,"is_oa":true,"landing_page_url":"https://nottingham-repository.worktribe.com/output/45862095","pdf_url":"https://nottingham-repository.worktribe.com/preview/66219157/2110.09277v1.pdf","source":{"id":"https://openalex.org/S4306402483","display_name":"Repository@Nottingham (University of Nottingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I142263535","host_organization_name":"University of Nottingham","host_organization_lineage":["https://openalex.org/I142263535"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Presentation / Conference Contribution"},{"id":"doi:10.48550/arxiv.2110.09277","doi":"https://doi.org/10.48550/arxiv.2110.09277","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2110.09277","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2110.09277","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2110.09277","pdf_url":"https://arxiv.org/pdf/2110.09277","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G563821146","display_name":null,"funder_award_id":"876852","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"},{"id":"https://openalex.org/G7025176336","display_name":"Verification and Validation of Automated Systems' Safety and Security","funder_award_id":"876852","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320834","display_name":"Enterprise Ireland","ror":"https://ror.org/023z51242"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":"https://ror.org/02afwgc64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3207537580.pdf","grobid_xml":"https://content.openalex.org/works/W3207537580.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W39058212","https://openalex.org/W115133185","https://openalex.org/W135733646","https://openalex.org/W978696865","https://openalex.org/W1507758008","https://openalex.org/W1594193927","https://openalex.org/W1608490958","https://openalex.org/W1805131879","https://openalex.org/W1964623502","https://openalex.org/W2010404330","https://openalex.org/W2027065069","https://openalex.org/W2142916266","https://openalex.org/W2150189917","https://openalex.org/W2170178247","https://openalex.org/W2171520043","https://openalex.org/W2339127543","https://openalex.org/W2503425026","https://openalex.org/W2551408835","https://openalex.org/W2604190760","https://openalex.org/W2606961542","https://openalex.org/W2767962055","https://openalex.org/W2807059453","https://openalex.org/W2811472820","https://openalex.org/W2897475762","https://openalex.org/W2990375002","https://openalex.org/W2991528307","https://openalex.org/W3002402551","https://openalex.org/W3010737172","https://openalex.org/W3013880045","https://openalex.org/W3158684676","https://openalex.org/W3160368460","https://openalex.org/W3167070212","https://openalex.org/W3167439252","https://openalex.org/W3169009110","https://openalex.org/W4211008702","https://openalex.org/W4226308778","https://openalex.org/W4244819751","https://openalex.org/W4244876017","https://openalex.org/W6736492467"],"related_works":["https://openalex.org/W4285218448","https://openalex.org/W4226308778","https://openalex.org/W4376622247","https://openalex.org/W3099031840","https://openalex.org/W7161479562","https://openalex.org/W1581840485","https://openalex.org/W3167070212","https://openalex.org/W6921510163","https://openalex.org/W3166124558","https://openalex.org/W2161035444"],"abstract_inverted_index":{"Verification":[0],"of":[1,20,24,39,45,68,121,162,180,195,206,231,244],"complex,":[2],"safety-critical":[3],"systems":[4,164],"is":[5],"a":[6,22,51,60,66,118,184],"significant":[7],"challenge.":[8],"Manual":[9],"testing":[10],"and":[11,37,47,155,191,220,236,242,247],"simulations":[12],"are":[13,17,31,217],"often":[14],"used,":[15],"but":[16],"only":[18],"capable":[19],"exploring":[21],"subset":[23],"the":[25,35,86,91,111,122,126,146,160,169,178,193,198,204,215,240,245],"system's":[26,52],"reachable":[27],"states.":[28],"Formal":[29,93],"methods":[30,182],"mathematically-based":[32],"techniques":[33],"for":[34],"specification":[36],"development":[38],"software,":[40],"which":[41],"can":[42,108,128],"provide":[43],"proofs":[44],"properties":[46],"exhaustive":[48],"checks":[49],"over":[50],"state":[53],"space.":[54],"In":[55,224],"this":[56,225],"paper,":[57],"we":[58,227],"present":[59],"formal":[61,131,149,181],"requirements-driven":[62],"methodology,":[63],"applied":[64],"to":[65,113,144,158,173],"model":[67,120],"an":[69,229],"aircraft":[70,123,209],"engine":[71,124,210],"controller":[72],"that":[73,186,214],"has":[74],"been":[75],"provided":[76],"by":[77,84,212],"our":[78,102,141,234,252],"industrial":[79],"partner.":[80,104],"Our":[81,175],"methodology":[82,142,176,202,235],"begins":[83],"formalising":[85],"controller's":[87],"natural-language":[88],"requirements":[89,112,127,150,170,196,216],"using":[90,133,251],"(pre-existing)":[92],"Requirements":[94],"Elicitation":[95],"Tool":[96],"(FRET),":[97],"iteratively,":[98],"in":[99,140,166,183],"consultation":[100],"with":[101],"industry":[103],"Once":[105],"formalised,":[106],"FRET":[107],"automatically":[109],"translate":[110],"enable":[114],"their":[115],"verification":[116,132,153,161,189,199,243],"alongside":[117],"Simulink":[119],"controller;":[125],"also":[129],"guide":[130],"other":[134],"approaches.":[135],"These":[136],"two":[137],"parallel":[138],"streams":[139],"seek":[143],"combine":[145],"results":[147],"from":[148,168],"elicitation,":[151],"classical":[152],"approaches,":[154],"runtime":[156],"verification;":[157],"support":[159],"aerospace":[163],"modelled":[165],"Simulink,":[167],"phase":[171],"through":[172],"execution.":[174],"harnesses":[177],"power":[179],"way":[185],"complements":[187],"existing":[188],"techniques,":[190],"supports":[192],"traceability":[194],"throughout":[197],"process.":[200],"This":[201],"streamlines":[203],"process":[205],"developing":[207],"verifiable":[208],"controllers,":[211],"ensuring":[213],"formalised":[218],"up-front":[219],"useable":[221],"during":[222],"development.":[223],"paper":[226],"give":[228],"overview":[230],"FRET,":[232],"describe":[233],"work":[237,250],"to-date":[238],"on":[239],"formalisation":[241],"requirements,":[246],"outline":[248],"future":[249],"methodology.":[253]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2021-10-25T00:00:00"}