{"id":"https://openalex.org/W2883923596","doi":"https://doi.org/10.1016/j.jss.2018.07.053","title":"Early validation of system requirements and design through correctness-by-construction","display_name":"Early validation of system requirements and design through correctness-by-construction","publication_year":2018,"publication_date":"2018-07-20","ids":{"openalex":"https://openalex.org/W2883923596","doi":"https://doi.org/10.1016/j.jss.2018.07.053","mag":"2883923596"},"language":"en","primary_location":{"id":"doi:10.1016/j.jss.2018.07.053","doi":"https://doi.org/10.1016/j.jss.2018.07.053","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.jss.2018.07.053","pdf_url":null,"source":{"id":"https://openalex.org/S37879656","display_name":"Journal of Systems and Software","issn_l":"0164-1212","issn":["0164-1212","1873-1228"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","fnege-4","jufo-3","ki-jl-1","norway-2","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems and Software","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01873999","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015356580","display_name":"Emmanouela Stachtiari","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I21370196","display_name":"Aristotle University of Thessaloniki","ror":"https://ror.org/02j61yw88","country_code":"GR","type":"education","lineage":["https://openalex.org/I21370196"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Emmanouela Stachtiari","raw_affiliation_strings":["Department of Informatics, Aristotle University of Thessaloniki, Greece","Aristotle University of Thessaloniki (University Campus, 54124 Thessaloniki, Greece - Greece)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Aristotle University of Thessaloniki, Greece","institution_ids":["https://openalex.org/I21370196"]},{"raw_affiliation_string":"Aristotle University of Thessaloniki (University Campus, 54124 Thessaloniki, Greece - Greece)","institution_ids":["https://openalex.org/I21370196"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073067432","display_name":"Anastasia Mavridou","orcid":"https://orcid.org/0000-0002-3943-9753","observed_orcids":["https://orcid.org/0000-0002-3943-9753"]},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I4210112445","display_name":"Stinger Ghaffarian Technologies (United States)","ror":"https://ror.org/02133fc38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210112445"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anastasia Mavridou","raw_affiliation_strings":["Robust Software Engineering Group SGT Inc., NASA Ames Research Center Moffett Field, CA, USA","ARC - NASA Ames Research Center (Moffett Field, California 94035 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Robust Software Engineering Group SGT Inc., NASA Ames Research Center Moffett Field, CA, USA","institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I4210112445"]},{"raw_affiliation_string":"ARC - NASA Ames Research Center (Moffett Field, California 94035 - United States)","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002757052","display_name":"Panagiotis Katsaros","orcid":"https://orcid.org/0000-0002-4309-5295","observed_orcids":["https://orcid.org/0000-0002-4309-5295"]},"institutions":[{"id":"https://openalex.org/I21370196","display_name":"Aristotle University of Thessaloniki","ror":"https://ror.org/02j61yw88","country_code":"GR","type":"education","lineage":["https://openalex.org/I21370196"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Panagiotis Katsaros","raw_affiliation_strings":["Department of Informatics, Aristotle University of Thessaloniki, Greece","Aristotle University of Thessaloniki (University Campus, 54124 Thessaloniki, Greece - Greece)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Aristotle University of Thessaloniki, Greece","institution_ids":["https://openalex.org/I21370196"]},{"raw_affiliation_string":"Aristotle University of Thessaloniki (University Campus, 54124 Thessaloniki, Greece - Greece)","institution_ids":["https://openalex.org/I21370196"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030465732","display_name":"Simon Bliudze","orcid":"https://orcid.org/0000-0002-7900-5271","observed_orcids":["https://orcid.org/0000-0002-7900-5271"]},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210138412","display_name":"Centre Inria de l'Universit\u00e9 de Lille","ror":"https://ror.org/04eej9726","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]},{"id":"https://openalex.org/I4405260233","display_name":"SPIRALS: Self-adaptation for distributed services and large software systems","ror":"https://ror.org/03eyty988","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412","https://openalex.org/I4405260233"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Simon Bliudze","raw_affiliation_strings":["INRIA Lille \u2013Europe, Nord , France","SPIRALS - Self-adaptation for distributed services and large software systems (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA Lille \u2013Europe, Nord , France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]},{"raw_affiliation_string":"SPIRALS - Self-adaptation for distributed services and large software systems (France)","institution_ids":["https://openalex.org/I4405260233"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075454664","display_name":"Joseph Sifakis","orcid":"https://orcid.org/0000-0003-2447-7981","observed_orcids":["https://orcid.org/0000-0003-2447-7981","https://orcid.org/0000-0001-9647-1154"]},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Joseph Sifakis","raw_affiliation_strings":["Verimag, Universit\u00e9 Grenoble Alpes, France","VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Verimag, Universit\u00e9 Grenoble Alpes, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]},{"raw_affiliation_string":"VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5015356580"],"corresponding_institution_ids":["https://openalex.org/I21370196"],"apc_list":{"value":3820,"currency":"USD","value_usd":3820},"apc_paid":null,"fwci":4.3027,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.95424112,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"145","issue":null,"first_page":"52","last_page":"78"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.46309998631477356,"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.46309998631477356,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.3582000136375427,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.09860000014305115,"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/requirements-validation","display_name":"requirements validation","score":0.6949999928474426},{"id":"https://openalex.org/keywords/correctness-by-construction","display_name":"correct-by-construction","score":0.953000009059906},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.5870000123977661},{"id":"https://openalex.org/keywords/model-refinement","display_name":"model refinement","score":0.5519999861717224},{"id":"https://openalex.org/keywords/design-correctness","display_name":"design correctness","score":0.44200000166893005},{"id":"https://openalex.org/keywords/requirements-consistency","display_name":"requirements consistency","score":0.5899999737739563},{"id":"https://openalex.org/keywords/specification-languages","display_name":"specification languages","score":0.460999995470047}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7402464151382446},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7215171456336975},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.6318356990814209},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5516963601112366},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5204399228096008},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.503422200679779},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5019521713256836},{"id":"https://openalex.org/C62235348","wikidata":"https://www.wikidata.org/wiki/Q3264234","display_name":"Functional requirement","level":2,"score":0.48859554529190063},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4628431499004364},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4564715325832367},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.45346155762672424},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.44670945405960083},{"id":"https://openalex.org/C199747065","wikidata":"https://www.wikidata.org/wiki/Q3254666","display_name":"Non-functional requirement","level":5,"score":0.4467059075832367},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.44031789898872375},{"id":"https://openalex.org/C40398212","wikidata":"https://www.wikidata.org/wiki/Q2275513","display_name":"System requirements","level":2,"score":0.4286792278289795},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.4260209798812866},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42589715123176575},{"id":"https://openalex.org/C26336911","wikidata":"https://www.wikidata.org/wiki/Q7048920","display_name":"Non-functional testing","level":5,"score":0.4244418144226074},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.34348130226135254},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.32619115710258484},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.32290828227996826},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.3078351318836212},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2811351418495178},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.27967846393585205},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.17820703983306885},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15604764223098755},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.15564638376235962},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10075652599334717},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.jss.2018.07.053","doi":"https://doi.org/10.1016/j.jss.2018.07.053","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.jss.2018.07.053","pdf_url":null,"source":{"id":"https://openalex.org/S37879656","display_name":"Journal of Systems and Software","issn_l":"0164-1212","issn":["0164-1212","1873-1228"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","fnege-4","jufo-3","ki-jl-1","norway-2","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems and Software","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01873999v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-01873999","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"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":"Journal of Systems and Software, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:lilloa.univ-lille.fr:20.500.12210/23092","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12210/23092","pdf_url":null,"source":{"id":"https://openalex.org/S4306402203","display_name":"LillOA (Universit\u00e9 de Lille (University Of Lille))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210123514","host_organization_name":"Centre d'\u00c9tudes en Civilisations, Langues et Lettres \u00c9trang\u00e8res","host_organization_lineage":["https://openalex.org/I4210123514"],"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":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01873999v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-01873999","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"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":"Journal of Systems and Software, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G7906100649","display_name":null,"funder_award_id":"4000112344/14/NL/FE","funder_id":"https://openalex.org/F4320318240","funder_display_name":"European Space Agency"}],"funders":[{"id":"https://openalex.org/F4320318240","display_name":"European Space Agency","ror":"https://ror.org/03wd9za21"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":92,"referenced_works":["https://openalex.org/W6618575","https://openalex.org/W125598877","https://openalex.org/W233122475","https://openalex.org/W647467726","https://openalex.org/W949250345","https://openalex.org/W1450051725","https://openalex.org/W1481429430","https://openalex.org/W1513300473","https://openalex.org/W1523562824","https://openalex.org/W1546362318","https://openalex.org/W1546797988","https://openalex.org/W1558619738","https://openalex.org/W1579202050","https://openalex.org/W1591643794","https://openalex.org/W1623968128","https://openalex.org/W1835679989","https://openalex.org/W1890639535","https://openalex.org/W1928260456","https://openalex.org/W1969076304","https://openalex.org/W1970488655","https://openalex.org/W1975146975","https://openalex.org/W1975864406","https://openalex.org/W1996832037","https://openalex.org/W2012154778","https://openalex.org/W2013658284","https://openalex.org/W2013814408","https://openalex.org/W2015280671","https://openalex.org/W2048903680","https://openalex.org/W2056134008","https://openalex.org/W2064880497","https://openalex.org/W2069075127","https://openalex.org/W2069431083","https://openalex.org/W2073934093","https://openalex.org/W2075886324","https://openalex.org/W2076057321","https://openalex.org/W2088895178","https://openalex.org/W2101044066","https://openalex.org/W2111331860","https://openalex.org/W2112437375","https://openalex.org/W2113435553","https://openalex.org/W2115904912","https://openalex.org/W2120548817","https://openalex.org/W2125579889","https://openalex.org/W2130175296","https://openalex.org/W2133626189","https://openalex.org/W2140252453","https://openalex.org/W2142065829","https://openalex.org/W2150564329","https://openalex.org/W2150712734","https://openalex.org/W2151060450","https://openalex.org/W2152506470","https://openalex.org/W2152863619","https://openalex.org/W2162366870","https://openalex.org/W2174735376","https://openalex.org/W2175855740","https://openalex.org/W2244544521","https://openalex.org/W2251837911","https://openalex.org/W2276078146","https://openalex.org/W2317638036","https://openalex.org/W2337818390","https://openalex.org/W2347006063","https://openalex.org/W2400945129","https://openalex.org/W2405958894","https://openalex.org/W2416108433","https://openalex.org/W2496917169","https://openalex.org/W2498950568","https://openalex.org/W2501336311","https://openalex.org/W2502511806","https://openalex.org/W2576281169","https://openalex.org/W2578318992","https://openalex.org/W2604190760","https://openalex.org/W2606665571","https://openalex.org/W2742402112","https://openalex.org/W2771543260","https://openalex.org/W2803848688","https://openalex.org/W2913074406","https://openalex.org/W2914234945","https://openalex.org/W3137722765","https://openalex.org/W3151889146","https://openalex.org/W3172217583","https://openalex.org/W4231545092","https://openalex.org/W4232951599","https://openalex.org/W4233281287","https://openalex.org/W4247885319","https://openalex.org/W4248950571","https://openalex.org/W4251546763","https://openalex.org/W4285719527","https://openalex.org/W4301439333","https://openalex.org/W4365806384","https://openalex.org/W6625077215","https://openalex.org/W6639656882","https://openalex.org/W6735503019"],"related_works":["https://openalex.org/W2416108433","https://openalex.org/W1975146975","https://openalex.org/W2119678820","https://openalex.org/W1557270585","https://openalex.org/W2047828546","https://openalex.org/W187394402","https://openalex.org/W2132500757","https://openalex.org/W3029433454","https://openalex.org/W2048903680","https://openalex.org/W3214408503"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":1}],"updated_date":"2026-10-25T09:29:13.331239","created_date":"2018-08-03T00:00:00"}