{"id":"https://openalex.org/W2588551419","doi":"https://doi.org/10.1007/s00165-017-0419-1","title":"Incremental bounded model checking for embedded software","display_name":"Incremental bounded model checking for embedded software","publication_year":2017,"publication_date":"2017-02-22","ids":{"openalex":"https://openalex.org/W2588551419","doi":"https://doi.org/10.1007/s00165-017-0419-1","mag":"2588551419"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-017-0419-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-017-0419-1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs00165-017-0419-1.pdf","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs00165-017-0419-1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066022930","display_name":"Peter Schrammel","orcid":"https://orcid.org/0000-0002-5713-1381"},"institutions":[{"id":"https://openalex.org/I162608824","display_name":"University of Sussex","ror":"https://ror.org/00ayhx656","country_code":"GB","type":"education","lineage":["https://openalex.org/I162608824"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Peter Schrammel","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK","School of Engineering and Informatics, University of Sussex, BN1 9RH, Brighton, UK","School of Engineering and Informatics, University of Sussex, BN1 9RH, Brighton, UK Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"School of Engineering and Informatics, University of Sussex, BN1 9RH, Brighton, UK","institution_ids":["https://openalex.org/I162608824"]},{"raw_affiliation_string":"School of Engineering and Informatics, University of Sussex, BN1 9RH, Brighton, UK Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I162608824","https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086206346","display_name":"Daniel Kroening","orcid":"https://orcid.org/0000-0002-6681-5283"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Daniel Kroening","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009343703","display_name":"Martin Brain","orcid":"https://orcid.org/0000-0003-4216-7151"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Martin Brain","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101995804","display_name":"Ruben Martins","orcid":"https://orcid.org/0000-0003-1525-1382"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Ruben Martins","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK","Department of Computer Science, University of Texas at Austin, Austin, USA","Department of Computer Science, University of Oxford, Oxford, UK Department of Computer Science, University of Texas at Austin, Austin, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Department of Computer Science, University of Texas at Austin, Austin, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK Department of Computer Science, University of Texas at Austin, Austin, USA","institution_ids":["https://openalex.org/I86519309","https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002477196","display_name":"Tino Teige","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tino Teige","raw_affiliation_strings":["BTC Embedded Systems AG, Oldenburg, Germany"],"affiliations":[{"raw_affiliation_string":"BTC Embedded Systems AG, Oldenburg, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051376776","display_name":"Tom Bienm\u00fcller","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tom Bienm\u00fcller","raw_affiliation_strings":["BTC Embedded Systems AG, Oldenburg, Germany"],"affiliations":[{"raw_affiliation_string":"BTC Embedded Systems AG, Oldenburg, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5066022930"],"corresponding_institution_ids":["https://openalex.org/I162608824","https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":3.0815,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.92286372,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"29","issue":"5","first_page":"911","last_page":"931"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9975000023841858,"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/computer-science","display_name":"Computer science","score":0.7953974604606628},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7434443831443787},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.5677163600921631},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.5222398042678833},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5045245885848999},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5020887851715088},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.49519625306129456},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4675283432006836},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.46175050735473633},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4381939470767975},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.39569228887557983},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37284722924232483},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35275009274482727},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.3436376452445984}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7953974604606628},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7434443831443787},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5677163600921631},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.5222398042678833},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5045245885848999},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5020887851715088},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.49519625306129456},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4675283432006836},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.46175050735473633},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4381939470767975},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.39569228887557983},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37284722924232483},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35275009274482727},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3436376452445984},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s00165-017-0419-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-017-0419-1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs00165-017-0419-1.pdf","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:openaccess.city.ac.uk:21596","is_oa":false,"landing_page_url":"https://openaccess.city.ac.uk/view/creators_id/martin=2Ebrain.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4306401940","display_name":"City Research Online (City University London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180825142","host_organization_name":"City, University of London","host_organization_lineage":["https://openalex.org/I180825142"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:figshare.com:article/23439509","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Incremental_bounded_model_checking_for_embedded_software/23439509","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":"","raw_type":"Text"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:822cf6fd-788d-4a9d-89fc-770b04fb9c8b","is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:822cf6fd-788d-4a9d-89fc-770b04fb9c8b","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"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":"","raw_type":"Journal article"},{"id":"pmh:oai:sro.sussex.ac.uk:65967","is_oa":true,"landing_page_url":"http://sro.sussex.ac.uk/id/eprint/65967/3/art%253A10.1007%252Fs00165-017-0419-1.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400129","display_name":"Sussex Research Online (University of Sussex)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162608824","host_organization_name":"University of Sussex","host_organization_lineage":["https://openalex.org/I162608824"],"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":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1007/s00165-017-0419-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-017-0419-1","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs00165-017-0419-1.pdf","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2588551419.pdf","grobid_xml":"https://content.openalex.org/works/W2588551419.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W14816984","https://openalex.org/W162318746","https://openalex.org/W174184838","https://openalex.org/W327452528","https://openalex.org/W333834217","https://openalex.org/W1495266209","https://openalex.org/W1518705996","https://openalex.org/W1522773690","https://openalex.org/W1538643901","https://openalex.org/W1544533039","https://openalex.org/W1575308494","https://openalex.org/W1579437898","https://openalex.org/W1581820117","https://openalex.org/W1710734607","https://openalex.org/W1787074469","https://openalex.org/W1791414633","https://openalex.org/W1819209966","https://openalex.org/W1839583963","https://openalex.org/W1841818470","https://openalex.org/W1875492031","https://openalex.org/W1889756448","https://openalex.org/W1919297764","https://openalex.org/W1964060567","https://openalex.org/W1977456312","https://openalex.org/W1986706177","https://openalex.org/W1991217550","https://openalex.org/W1996808256","https://openalex.org/W2021705219","https://openalex.org/W2037395516","https://openalex.org/W2046239089","https://openalex.org/W2052495090","https://openalex.org/W2063913712","https://openalex.org/W2072916763","https://openalex.org/W2083965123","https://openalex.org/W2098156778","https://openalex.org/W2099860748","https://openalex.org/W2105300531","https://openalex.org/W2105505058","https://openalex.org/W2105829631","https://openalex.org/W2107470986","https://openalex.org/W2110123236","https://openalex.org/W2118791871","https://openalex.org/W2118834741","https://openalex.org/W2129538349","https://openalex.org/W2130178878","https://openalex.org/W2136705864","https://openalex.org/W2138947594","https://openalex.org/W2142715983","https://openalex.org/W2146148755","https://openalex.org/W2146806752","https://openalex.org/W2147627044","https://openalex.org/W2149674037","https://openalex.org/W2150372321","https://openalex.org/W2152426072","https://openalex.org/W2158602337","https://openalex.org/W2162663474","https://openalex.org/W2348183150","https://openalex.org/W2401179365","https://openalex.org/W3144270478","https://openalex.org/W4206455946","https://openalex.org/W4210825432","https://openalex.org/W4211181233","https://openalex.org/W4244876017","https://openalex.org/W6679104218","https://openalex.org/W6814269298"],"related_works":["https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W4312733571","https://openalex.org/W2037121848","https://openalex.org/W1573022308","https://openalex.org/W61995002","https://openalex.org/W2964297799","https://openalex.org/W2399439227","https://openalex.org/W2899944714","https://openalex.org/W2117726127"],"abstract_inverted_index":{"Abstract":[0],"Program":[1],"analysis":[2],"is":[3],"on":[4,38,94,175],"the":[5,29,61,85,95,98,113,136,154,159,195],"brink":[6],"of":[7,16,28,33,67,87,97,149,161],"mainstream":[8],"usage":[9],"in":[10,151],"embedded":[11,47,115,132,168,196],"systems":[12],"development.":[13],"Formal":[14],"verification":[15,35,117,163],"behavioural":[17],"requirements,":[18],"finding":[19],"runtime":[20],"errors":[21],"and":[22,55,81,108,166,188],"test":[23],"case":[24],"generation":[25],"are":[26],"some":[27],"most":[30],"common":[31],"applications":[32],"automated":[34],"tools":[36,45],"based":[37],"bounded":[39,52],"model":[40,53,100],"checking":[41],"(BMC).":[42],"Existing":[43],"industrial":[44,114,131],"for":[46],"software":[48,99,116,193],"use":[49],"an":[50,64,126],"off-the-shelf":[51],"checker":[54,101],"apply":[56],"it":[57],"iteratively":[58],"to":[59,83,104,153,164,190],"verify":[60,191],"program":[62],"with":[63,112,178],"increasing":[65],"number":[66],"unwindings.":[68],"This":[69,91],"approach":[70],"unnecessarily":[71],"wastes":[72],"time":[73],"repeating":[74],"work":[75],"that":[76,141],"has":[77],"already":[78],"been":[79],"done":[80],"fails":[82],"exploit":[84],"power":[86],"incremental":[88,106,142,183],"SAT":[89],"solving.":[90],"article":[92],"reports":[93],"extension":[96],"C":[102],"BMC":[103,107,143],"support":[105],"its":[109,186],"successful":[110],"integration":[111],"tool":[118],"BTC":[119],"E":[120],"MBEDDED":[121],"TESTER":[122],".":[123],"We":[124,139,170],"present":[125],"extensive":[127],"evaluation":[128],"over":[129],"large":[130,165],"programs,":[133],"mainly":[134],"from":[135],"automotive":[137],"industry.":[138],"show":[140],"cuts":[144],"runtimes":[145],"by":[146],"one":[147],"order":[148],"magnitude":[150],"comparison":[152],"standard":[155],"non-incremental":[156],"approach,":[157],"enabling":[158],"application":[160],"formal":[162],"complex":[167],"software.":[169],"furthermore":[171],"report":[172],"promising":[173],"results":[174],"analysing":[176],"programs":[177],"arbitrary":[179],"loop":[180],"structure":[181],"using":[182],"BMC,":[184],"demonstrating":[185],"applicability":[187],"potential":[189],"general":[192],"beyond":[194],"domain.":[197]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}