{"id":"https://openalex.org/W2900434686","doi":"https://doi.org/10.1109/fdl.2018.8524044","title":"Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code","display_name":"Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2900434686","doi":"https://doi.org/10.1109/fdl.2018.8524044","mag":"2900434686"},"language":"en","primary_location":{"id":"doi:10.1109/fdl.2018.8524044","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2018.8524044","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077920000","display_name":"Guillaume Davy","orcid":null},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Guillaume Davy","raw_affiliation_strings":["Onera, The French Aerospace Lab, Toulouse, France","ONERA / DTIS, Universit\u00e9 de Toulouse [Toulouse] (F-31055 Toulouse - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Onera, The French Aerospace Lab, Toulouse, France","institution_ids":[]},{"raw_affiliation_string":"ONERA / DTIS, Universit\u00e9 de Toulouse [Toulouse] (F-31055 Toulouse - France)","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I2801658355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051407825","display_name":"Christophe Garion","orcid":"https://orcid.org/0000-0002-4467-2939"},"institutions":[{"id":"https://openalex.org/I193033237","display_name":"Institut Sup\u00e9rieur de l'A\u00e9ronautique et de l'Espace (ISAE-SUPAERO)","ror":"https://ror.org/04gyj6s21","country_code":"FR","type":"education","lineage":["https://openalex.org/I193033237"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Garion","raw_affiliation_strings":["ISAE Sunaero, Toulouse, France","DISC - D\u00e9partement d'Ing\u00e9nierie des Syst\u00e8mes Complexes (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ISAE Sunaero, Toulouse, France","institution_ids":["https://openalex.org/I193033237"]},{"raw_affiliation_string":"DISC - D\u00e9partement d'Ing\u00e9nierie des Syst\u00e8mes Complexes (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112405474","display_name":"Pierre Garoche","orcid":null},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre- Loic Garoche","raw_affiliation_strings":["Onera, The French Aerospace Lab, Toulouse, France","ONERA / DTIS, Universit\u00e9 de Toulouse [Toulouse] (F-31055 Toulouse - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Onera, The French Aerospace Lab, Toulouse, France","institution_ids":[]},{"raw_affiliation_string":"ONERA / DTIS, Universit\u00e9 de Toulouse [Toulouse] (F-31055 Toulouse - France)","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I2801658355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046495569","display_name":"Pierre Roux","orcid":"https://orcid.org/0000-0002-3041-7742"},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Roux","raw_affiliation_strings":["Onera, The French Aerospace Lab, Toulouse, France","ONERA / DTIS, Universit\u00e9 de Toulouse [Toulouse] (F-31055 Toulouse - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Onera, The French Aerospace Lab, Toulouse, France","institution_ids":[]},{"raw_affiliation_string":"ONERA / DTIS, Universit\u00e9 de Toulouse [Toulouse] (F-31055 Toulouse - France)","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I2801658355"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065474253","display_name":"Xavier Thirioux","orcid":"https://orcid.org/0009-0002-1126-6835"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I205747304","display_name":"Institut National Polytechnique de Toulouse","ror":"https://ror.org/033p9g875","country_code":"FR","type":"education","lineage":["https://openalex.org/I205747304"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Xavier Thirioux","raw_affiliation_strings":["IRIT INPT, Toulouse, France","IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9  - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIT INPT, Toulouse, France","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I205747304","https://openalex.org/I3131550300","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9  - France)","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4210160189"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.847212553024292},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7131076455116272},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.697859525680542},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.6394368410110474},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5223487615585327},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.49036335945129395},{"id":"https://openalex.org/keywords/lustre","display_name":"Lustre (file system)","score":0.46624746918678284},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.42822664976119995},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.42752742767333984},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4264431297779083},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42319217324256897},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3496251106262207},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.19968006014823914},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.19346308708190918},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.10510274767875671}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.847212553024292},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7131076455116272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.697859525680542},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6394368410110474},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5223487615585327},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.49036335945129395},{"id":"https://openalex.org/C180699724","wikidata":"https://www.wikidata.org/wiki/Q1877782","display_name":"Lustre (file system)","level":3,"score":0.46624746918678284},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.42822664976119995},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.42752742767333984},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4264431297779083},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42319217324256897},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3496251106262207},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.19968006014823914},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.19346308708190918},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.10510274767875671},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C83283714","wikidata":"https://www.wikidata.org/wiki/Q121117","display_name":"Supercomputer","level":2,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/fdl.2018.8524044","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2018.8524044","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"},{"id":"pmh:oai:oatao.univ-toulouse.fr:21348","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:hal-02163873v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02163873","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"2018 Forum on specification & Design Languages (FDL), Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:oatao.univ-toulouse.fr:21348","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W115133185","https://openalex.org/W165943180","https://openalex.org/W1562836033","https://openalex.org/W1591643794","https://openalex.org/W1663179985","https://openalex.org/W1763790326","https://openalex.org/W1976043036","https://openalex.org/W1993255342","https://openalex.org/W1995969393","https://openalex.org/W2002757059","https://openalex.org/W2022877924","https://openalex.org/W2035115145","https://openalex.org/W2040856861","https://openalex.org/W2063524404","https://openalex.org/W2076668269","https://openalex.org/W2077418568","https://openalex.org/W2080575293","https://openalex.org/W2081938726","https://openalex.org/W2107605224","https://openalex.org/W2125415493","https://openalex.org/W2131859950","https://openalex.org/W2136705864","https://openalex.org/W2138211565","https://openalex.org/W2155054252","https://openalex.org/W2159542925","https://openalex.org/W2296319761","https://openalex.org/W2337445953","https://openalex.org/W2609686781","https://openalex.org/W2798585073","https://openalex.org/W2911375523","https://openalex.org/W2911450990","https://openalex.org/W2962892776","https://openalex.org/W2987907651","https://openalex.org/W3139826851","https://openalex.org/W3142875887","https://openalex.org/W3146075203","https://openalex.org/W4238538572","https://openalex.org/W4250589301","https://openalex.org/W4251192040","https://openalex.org/W4297860235","https://openalex.org/W6604720259","https://openalex.org/W6635138435","https://openalex.org/W6637169376","https://openalex.org/W6683035906","https://openalex.org/W6750885452","https://openalex.org/W6758773630","https://openalex.org/W6843418991"],"related_works":["https://openalex.org/W3002402551","https://openalex.org/W4386580300","https://openalex.org/W2576260943","https://openalex.org/W4229594428","https://openalex.org/W2104131199","https://openalex.org/W2280976997","https://openalex.org/W2998034204","https://openalex.org/W2101792476","https://openalex.org/W4389650601","https://openalex.org/W4302368868"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"outline":[4],"a":[5,22,25,42,108,112,249],"methodology":[6,234],"allowing":[7],"to":[8,47,52,61,76,118,189,201],"support":[9],"the":[10,31,48,54,57,81,92,135,149,191,203,219,224,227,233],"formal":[11],"verification":[12,94],"of":[13,56,83,95,137,151,226],"functional":[14,192],"properties":[15,85],"for":[16,37],"generated":[17],"code.":[18,228],"When":[19],"relying":[20,208],"on":[21,209,242],"code":[23,65,99,119,178,206],"generator,":[24],"model":[26,40,49,58,116,165,170,214,221],"is":[27,88,166],"directly":[28],"mapped":[29],"into":[30],"target":[32],"embedded":[33],"code,":[34],"in":[35,134,148,161,185],"C":[36],"instance.":[38],"At":[39,64,177],"level,":[41,66,179,207],"specification":[43,97,117],"can":[44,73],"be":[45,74,159],"associated":[46,124],"and":[50,90,132,172],"used":[51,75,147,188],"assess":[53],"validity":[55],"with":[59,199,223],"respect":[60],"its":[62],"requirements.":[63],"other":[67,162],"means":[68],"such":[69,140,182],"as":[70,121,123,141,183],"deductive":[71,180],"methods":[72],"ensure":[77],"similar":[78],"goals.":[79],"While":[80],"analysis":[82,198,210],"user-specified":[84],"at":[86,98,205,213],"model-level":[87],"developed":[89,133],"tractable,":[91],"automatic":[93],"these":[96],"level":[100],"remains":[101,248],"an":[102],"open":[103],"issue.":[104],"We":[105],"present":[106],"here":[107],"framework":[109],"which":[110],"builds":[111],"semantics":[113,222],"layer":[114],"connecting":[115],"specification,":[120],"well":[122],"proof":[125,204],"evidences.":[126],"This":[127,229],"approach":[128,195],"has":[129,238],"been":[130,239],"designed":[131],"context":[136],"dataflow":[138],"languages":[139],"Simulink,":[142],"SCADE":[143],"or":[144],"Lustre,":[145],"typically":[146],"design":[150],"cyber-physical":[152],"system":[153],"controllers,":[154],"but":[155],"it":[156],"could":[157],"also":[158],"revisited":[160],"contexts.":[163],"The":[164,216],"analyzed":[167],"by":[168],"SMT-based":[169],"checking":[171],"convex":[173],"optimization-based":[174],"static":[175,197],"analysis.":[176],"techniques,":[181],"implemented":[184],"Frama-C,":[186],"are":[187],"prove":[190],"correctness.":[193],"Our":[194],"combines":[196],"refinement":[200,217],"drive":[202],"results":[211],"obtained":[212],"level.":[215],"relates":[218],"initial":[220],"one":[225],"papers":[230],"only":[231],"outlines":[232],"combining":[235],"analyses.":[236],"It":[237],"applied":[240],"manually":[241],"some":[243],"examples.":[244],"A":[245],"fully":[246],"implementation":[247],"future":[250],"work.":[251]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}