{"id":"https://openalex.org/W2143456983","doi":"https://doi.org/10.1155/2012/547157","title":"Improving Model Checking with Context Modelling","display_name":"Improving Model Checking with Context Modelling","publication_year":2012,"publication_date":"2012-09-24","ids":{"openalex":"https://openalex.org/W2143456983","doi":"https://doi.org/10.1155/2012/547157","mag":"2143456983"},"language":"en","primary_location":{"id":"doi:10.1155/2012/547157","doi":"https://doi.org/10.1155/2012/547157","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2012/547157","pdf_url":"https://downloads.hindawi.com/archive/2012/547157.pdf","source":{"id":"https://openalex.org/S78701549","display_name":"Advances in Software Engineering","issn_l":"1687-8655","issn":["1687-8655","1687-8663"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core"],"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869","https://openalex.org/P4310320595"],"host_organization_lineage_names":["Hindawi Publishing Corporation","Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Software Engineering","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/archive/2012/547157.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003925837","display_name":"Philippe Dhaussy","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Philippe Dhaussy","raw_affiliation_strings":["Lab-STICC, UMR CNRS 6285, ENSTA Bretagne, 2 rue Fran\u00e7ois Verny, 29806 Brest, France","Lab-STICC_ENSTAB_CACS_MOCS (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC, UMR CNRS 6285, ENSTA Bretagne, 2 rue Fran\u00e7ois Verny, 29806 Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Lab-STICC_ENSTAB_CACS_MOCS (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039283397","display_name":"Fr\u00e9d\u00e9ric Boniol","orcid":"https://orcid.org/0009-0008-7999-1287","observed_orcids":["https://orcid.org/0009-0008-7999-1287"]},"institutions":[{"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"]},{"id":"https://openalex.org/I4387153255","display_name":"\u00c9cole Nationale Sup\u00e9rieure d'\u00c9lectrotechnique, d'\u00c9lectronique, d'Informatique, d'Hydraulique et des T\u00e9l\u00e9communications","ror":"https://ror.org/05wfw4946","country_code":"FR","type":"education","lineage":["https://openalex.org/I205747304","https://openalex.org/I4387153255"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Boniol","raw_affiliation_strings":["ONERA, 2 avenue Edouard Belin, 31000 Toulouse, France","ENSEEIHT - Ecole Nationale Sup\u00e9rieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de T\u00e9l\u00e9communications (2 rue Charles Camichel. BP 7122 31071 Toulouse cedex 7 FR - France)","ONERA - The French Aerospace Lab [Toulouse] (F-31055 Toulouse - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ONERA, 2 avenue Edouard Belin, 31000 Toulouse, France","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ENSEEIHT - Ecole Nationale Sup\u00e9rieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de T\u00e9l\u00e9communications (2 rue Charles Camichel. BP 7122 31071 Toulouse cedex 7 FR - France)","institution_ids":["https://openalex.org/I4387153255"]},{"raw_affiliation_string":"ONERA - The French Aerospace Lab [Toulouse] (F-31055 Toulouse - France)","institution_ids":["https://openalex.org/I2801658355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030508075","display_name":"Jean-Charles Roger","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Charles Roger","raw_affiliation_strings":["Lab-STICC, UMR CNRS 6285, ENSTA Bretagne, 2 rue Fran\u00e7ois Verny, 29806 Brest, France","STIC - D\u00e9partement STIC [Brest] (2 rue Fran\u00e7ois Verny 29806 Brest cedex 9 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC, UMR CNRS 6285, ENSTA Bretagne, 2 rue Fran\u00e7ois Verny, 29806 Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]},{"raw_affiliation_string":"STIC - D\u00e9partement STIC [Brest] (2 rue Fran\u00e7ois Verny 29806 Brest cedex 9 - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032316061","display_name":"Luka Le Roux","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luka Leroux","raw_affiliation_strings":["Lab-STICC, UMR CNRS 6285, ENSTA Bretagne, 2 rue Fran\u00e7ois Verny, 29806 Brest, France","STIC - D\u00e9partement STIC [Brest] (2 rue Fran\u00e7ois Verny 29806 Brest cedex 9 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC, UMR CNRS 6285, ENSTA Bretagne, 2 rue Fran\u00e7ois Verny, 29806 Brest, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]},{"raw_affiliation_string":"STIC - D\u00e9partement STIC [Brest] (2 rue Fran\u00e7ois Verny 29806 Brest cedex 9 - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5003925837"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210123702","https://openalex.org/I4210148559"],"apc_list":null,"apc_paid":null,"fwci":2.9401,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.90614908,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":98},"biblio":{"volume":"2012","issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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.9976000189781189,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0015999999595806003,"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/T10126","display_name":"Logic, programming, and type systems","score":0.00019999999494757503,"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/model-checking","display_name":"model checking","score":0.9900000095367432},{"id":"https://openalex.org/keywords/context-modeling","display_name":"context modeling","score":0.9459999799728394},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"combinatorial explosion","score":0.8859999775886536},{"id":"https://openalex.org/keywords/activity-diagrams","display_name":"activity diagrams","score":0.7929999828338623},{"id":"https://openalex.org/keywords/textual-patterns","display_name":"textual patterns","score":0.7009999752044678},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.609000027179718},{"id":"https://openalex.org/keywords/scenario-composition","display_name":"scenario composition","score":0.5120000243186951}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8529934883117676},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.7142671346664429},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6652737855911255},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.6555625796318054},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6299993991851807},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.560938835144043},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.5360698103904724},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4991495609283447},{"id":"https://openalex.org/C183322885","wikidata":"https://www.wikidata.org/wiki/Q17007702","display_name":"Context model","level":3,"score":0.46609464287757874},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4464928209781647},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.44198793172836304},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.435337632894516},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27415549755096436},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.1419411301612854},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08809423446655273},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08447909355163574},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","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},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/2012/547157","doi":"https://doi.org/10.1155/2012/547157","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2012/547157","pdf_url":"https://downloads.hindawi.com/archive/2012/547157.pdf","source":{"id":"https://openalex.org/S78701549","display_name":"Advances in Software Engineering","issn_l":"1687-8655","issn":["1687-8655","1687-8663"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core"],"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869","https://openalex.org/P4310320595"],"host_organization_lineage_names":["Hindawi Publishing Corporation","Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00738735v1","doi":null,"is_oa":false,"landing_page_url":"https://ensta.hal.science/hal-00738735","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1155/2012/547157","doi":"https://doi.org/10.1155/2012/547157","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2012/547157","pdf_url":"https://downloads.hindawi.com/archive/2012/547157.pdf","source":{"id":"https://openalex.org/S78701549","display_name":"Advances in Software Engineering","issn_l":"1687-8655","issn":["1687-8655","1687-8663"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core"],"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869","https://openalex.org/P4310320595"],"host_organization_lineage_names":["Hindawi Publishing Corporation","Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2143456983.pdf","grobid_xml":"https://content.openalex.org/works/W2143456983.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W1513047676","https://openalex.org/W1523442991","https://openalex.org/W1548662955","https://openalex.org/W1558903826","https://openalex.org/W1562915062","https://openalex.org/W1584851823","https://openalex.org/W1591643794","https://openalex.org/W1593284044","https://openalex.org/W1775783412","https://openalex.org/W1916915881","https://openalex.org/W1996832037","https://openalex.org/W1998949669","https://openalex.org/W2000947342","https://openalex.org/W2001289891","https://openalex.org/W2001594070","https://openalex.org/W2016300863","https://openalex.org/W2026352467","https://openalex.org/W2039737411","https://openalex.org/W2059488168","https://openalex.org/W2061438988","https://openalex.org/W2070996046","https://openalex.org/W2115309705","https://openalex.org/W2117189826","https://openalex.org/W2135323215","https://openalex.org/W2135642703","https://openalex.org/W2137467159","https://openalex.org/W2139808952","https://openalex.org/W2144690539","https://openalex.org/W2159958244","https://openalex.org/W2161660684","https://openalex.org/W2163014247","https://openalex.org/W2166011785","https://openalex.org/W2293287097","https://openalex.org/W2343361673","https://openalex.org/W2913459036","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2595238860","https://openalex.org/W1998949669","https://openalex.org/W315069664","https://openalex.org/W2595584210","https://openalex.org/W4319603317","https://openalex.org/W2106637978","https://openalex.org/W2132842608","https://openalex.org/W2296464712","https://openalex.org/W2901484183","https://openalex.org/W7099087425"],"abstract_inverted_index":{"This":[0,153],"paper":[1,154],"deals":[2],"with":[3,60,101,132],"the":[4,7,25,32,50,61,65,72,76,110,133,165,168],"problem":[5],"of":[6,9,31,125,167],"usage":[8],"formal":[10,21],"techniques,":[11],"based":[12,87],"on":[13,88],"model":[14,134],"checking,":[15],"where":[16],"models":[17],"are":[18,99],"large":[19],"and":[20,37,55,63,90,104,128],"verification":[22],"techniques":[23],"face":[24],"combinatorial":[26,158],"explosion":[27,159],"issue.":[28],"The":[29,45,94,112],"goal":[30],"approach":[33],"is":[34,47,115],"to":[35,41,48,70,96,106,116,129,135,170],"express":[36],"verify":[38,64],"requirements":[39],"relative":[40],"certain":[42],"context":[43,51,73,121],"situations.":[44],"idea":[46,114],"unroll":[49],"into":[52,122],"several":[53],"scenarios":[54],"successively":[56],"compose":[57,130],"each":[58,119],"scenario":[59],"system":[62,169],"resulting":[66],"composition.":[67],"We":[68],"propose":[69],"specify":[71],"in":[74,109,147],"which":[75],"behavior":[77],"occurs":[78],"using":[79],"a":[80,123,143],"language":[81],"called":[82],"CDL":[83],"(Context":[84],"Description":[85],"Language),":[86],"activity":[89],"message":[91],"sequence":[92],"diagrams.":[93],"properties":[95],"be":[97,136,161,171],"verified":[98],"specified":[100],"textual":[102],"patterns":[103],"attached":[105],"specific":[107],"regions":[108],"context.":[111],"central":[113],"automatically":[117],"split":[118],"identified":[120],"set":[124],"smaller":[126],"subcontexts":[127],"them":[131],"validated.":[137,172],"For":[138],"that,":[139],"we":[140],"have":[141],"implemented":[142],"recursive":[144],"splitting":[145],"algorithm":[146],"our":[148],"toolset":[149],"OBP":[150],"(Observer-based":[151],"Prover).":[152],"shows":[155],"how":[156],"this":[157],"could":[160],"reduced":[162],"by":[163],"specifying":[164],"environment":[166]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}