{"id":"https://openalex.org/W2170063752","doi":"https://doi.org/10.3390/s110101059","title":"Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks","display_name":"Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks","publication_year":2011,"publication_date":"2011-01-19","ids":{"openalex":"https://openalex.org/W2170063752","doi":"https://doi.org/10.3390/s110101059","mag":"2170063752","pmid":"https://pubmed.ncbi.nlm.nih.gov/22344203"},"language":"en","primary_location":{"id":"doi:10.3390/s110101059","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s110101059","pdf_url":"https://www.mdpi.com/1424-8220/11/1/1059/pdf?version=1403314109","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1424-8220/11/1/1059/pdf?version=1403314109","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101410922","display_name":"Diego Mart\u00ednez","orcid":"https://orcid.org/0000-0001-9723-6885"},"institutions":[{"id":"https://openalex.org/I47726972","display_name":"Universidad Aut\u00f3noma de Occidente","ror":"https://ror.org/02drkkh02","country_code":"CO","type":"education","lineage":["https://openalex.org/I47726972"]}],"countries":["CO"],"is_corresponding":false,"raw_author_name":"Diego Mart\u00ednez","raw_affiliation_strings":["Department of Automation and Electronics, Autonomous University of the West, Cll 25 # 115 - 85 Km. 2 V\u00eda Cali-Jamund\u00ed, Colombia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Automation and Electronics, Autonomous University of the West, Cll 25 # 115 - 85 Km. 2 V\u00eda Cali-Jamund\u00ed, Colombia","institution_ids":["https://openalex.org/I47726972"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000026941","display_name":"Apolinar Gonz\u00e1lez","orcid":"https://orcid.org/0000-0001-6400-4164"},"institutions":[{"id":"https://openalex.org/I916541031","display_name":"Universidad de Colima","ror":"https://ror.org/04znxe670","country_code":"MX","type":"education","lineage":["https://openalex.org/I916541031"]}],"countries":["MX"],"is_corresponding":true,"raw_author_name":"Apolinar Gonz\u00e1lez","raw_affiliation_strings":["Faculty of Mechanical and Electrical Engineering, University of Colima, Av., Universidad # 333, 28000 Colima, Mexico"],"raw_orcid":"https://orcid.org/0000-0001-6400-4164","affiliations":[{"raw_affiliation_string":"Faculty of Mechanical and Electrical Engineering, University of Colima, Av., Universidad # 333, 28000 Colima, Mexico","institution_ids":["https://openalex.org/I916541031"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040921176","display_name":"Francisco Blanes","orcid":"https://orcid.org/0000-0002-9234-5377"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francisco Blanes","raw_affiliation_strings":["Department of Computer Engineering (DISCA), Polytechnic University of Valence, Camino de Vera s/n, Valencia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering (DISCA), Polytechnic University of Valence, Camino de Vera s/n, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068283133","display_name":"Ra\u00fal Aquino-Santos","orcid":"https://orcid.org/0000-0002-8242-0695"},"institutions":[{"id":"https://openalex.org/I916541031","display_name":"Universidad de Colima","ror":"https://ror.org/04znxe670","country_code":"MX","type":"education","lineage":["https://openalex.org/I916541031"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Ra\u00fal Aquino","raw_affiliation_strings":["Faculty of Mechanical and Electrical Engineering, University of Colima, Av., Universidad # 333, 28000 Colima, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mechanical and Electrical Engineering, University of Colima, Av., Universidad # 333, 28000 Colima, Mexico","institution_ids":["https://openalex.org/I916541031"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083858555","display_name":"Jos\u00e9 Sim\u00f3","orcid":"https://orcid.org/0000-0003-4677-7627"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Simo","raw_affiliation_strings":["Department of Computer Engineering (DISCA), Polytechnic University of Valence, Camino de Vera s/n, Valencia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering (DISCA), Polytechnic University of Valence, Camino de Vera s/n, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032455489","display_name":"Alfons Crespo","orcid":"https://orcid.org/0000-0002-6606-7406"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alfons Crespo","raw_affiliation_strings":["Department of Computer Engineering (DISCA), Polytechnic University of Valence, Camino de Vera s/n, Valencia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering (DISCA), Polytechnic University of Valence, Camino de Vera s/n, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5000026941"],"corresponding_institution_ids":["https://openalex.org/I916541031"],"apc_list":{"value":2400,"currency":"CHF","value_usd":2598},"apc_paid":{"value":2400,"currency":"CHF","value_usd":2598},"fwci":2.6087,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.90042846,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"11","issue":"1","first_page":"1059","last_page":"1077"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","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/T12216","display_name":"Network Time Synchronization Technologies","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/software-portability","display_name":"Software portability","score":0.6932841539382935},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6703914403915405},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6567816734313965},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6228048801422119},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.575335681438446},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.5709925889968872},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.5360952019691467},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.51268470287323},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.4800370931625366},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4572216868400574},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.456935316324234},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.45509737730026245},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.4420601427555084},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4217537045478821},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.18661156296730042},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.0896645188331604}],"concepts":[{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.6932841539382935},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6703914403915405},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6567816734313965},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6228048801422119},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.575335681438446},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.5709925889968872},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.5360952019691467},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.51268470287323},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.4800370931625366},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4572216868400574},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.456935316324234},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.45509737730026245},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.4420601427555084},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4217537045478821},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.18661156296730042},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0896645188331604},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.3390/s110101059","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s110101059","pdf_url":"https://www.mdpi.com/1424-8220/11/1/1059/pdf?version=1403314109","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},{"id":"pmid:22344203","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/22344203","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null},{"id":"pmh:oai:red.uao.edu.co:10614/12157","is_oa":true,"landing_page_url":"http://red.uao.edu.co//handle/10614/12157","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"xxxxx","raw_type":"Art\u00edculo de revista"},{"id":"pmh:oai:doaj.org/article:dc818a3031524baf9bc684dc4cb8b796","is_oa":true,"landing_page_url":"https://doaj.org/article/dc818a3031524baf9bc684dc4cb8b796","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors, Vol 11, Iss 1, Pp 1059-1077 (2011)","raw_type":"article"},{"id":"pmh:oai:pubmedcentral.nih.gov:3274114","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/3274114","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"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":"Sensors (Basel)","raw_type":"Text"},{"id":"pmh:oai:riunet.upv.es:10251/28828","is_oa":true,"landing_page_url":"http://hdl.handle.net/10251/28828","pdf_url":null,"source":{"id":"https://openalex.org/S4306401500","display_name":"RiuNet (Politechnical University of Valencia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.3390/s110101059","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s110101059","pdf_url":"https://www.mdpi.com/1424-8220/11/1/1059/pdf?version=1403314109","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5899999737739563,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2170063752.pdf"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W83895711","https://openalex.org/W1540356186","https://openalex.org/W1571725816","https://openalex.org/W1768076797","https://openalex.org/W1980508604","https://openalex.org/W1990866376","https://openalex.org/W1991461201","https://openalex.org/W1996522055","https://openalex.org/W2020216714","https://openalex.org/W2042979415","https://openalex.org/W2093582532","https://openalex.org/W2095504329","https://openalex.org/W2097959393","https://openalex.org/W2109149844","https://openalex.org/W2112601174","https://openalex.org/W2121504539","https://openalex.org/W2123727366","https://openalex.org/W2123742164","https://openalex.org/W2129948494","https://openalex.org/W2130815847","https://openalex.org/W2134391428","https://openalex.org/W2137622216","https://openalex.org/W2142340571","https://openalex.org/W2150388421","https://openalex.org/W2165172064","https://openalex.org/W2166420683","https://openalex.org/W2169778797","https://openalex.org/W2974346521","https://openalex.org/W3140474906"],"related_works":["https://openalex.org/W107105315","https://openalex.org/W1584537303","https://openalex.org/W1872724644","https://openalex.org/W2750549761","https://openalex.org/W4388155270","https://openalex.org/W28826848","https://openalex.org/W2122272819","https://openalex.org/W4367156293","https://openalex.org/W2130894091","https://openalex.org/W2994151208"],"abstract_inverted_index":{"A":[0],"current":[1],"trend":[2],"in":[3,54,59,117],"the":[4,18,34,38,124,131,138],"development":[5],"and":[6,27,40,49,61,75,96,102,134],"implementation":[7,35],"of":[8,43,113,137],"industrial":[9],"applications":[10],"is":[11,66,107],"to":[12,16,22,32,72,129],"use":[13],"wireless":[14,114],"networks":[15],"communicate":[17],"system":[19],"nodes,":[20],"mainly":[21],"increase":[23],"application":[24],"flexibility,":[25],"reliability":[26],"portability,":[28],"as":[29,31],"well":[30],"reduce":[33],"cost.":[36],"However,":[37],"nondeterministic":[39],"concurrent":[41],"behavior":[42,136],"distributed":[44],"systems":[45],"makes":[46],"their":[47],"analysis":[48],"design":[50,76,95,132],"complex,":[51],"often":[52],"resulting":[53],"less":[55],"than":[56],"satisfactory":[57],"performance":[58],"simulation":[60,83],"test":[62],"bed":[63],"scenarios,":[64],"which":[65,106],"caused":[67],"by":[68],"using":[69],"imprecise":[70],"models":[71],"analyze,":[73],"validate":[74],"these":[77,89],"systems.":[78],"Moreover,":[79],"there":[80],"are":[81],"some":[82],"platforms":[84],"that":[85],"do":[86],"not":[87],"support":[88],"models.":[90],"This":[91],"paper":[92],"presents":[93],"a":[94,110],"validation":[97],"method":[98],"for":[99],"Wireless":[100],"Sensor":[101],"Actuator":[103],"Networks":[104],"(WSAN)":[105],"supported":[108],"on":[109],"minimal":[111],"set":[112],"components":[115],"represented":[116],"Colored":[118],"Petri":[119],"Nets":[120],"(CPN).":[121],"In":[122],"summary,":[123],"model":[125],"presented":[126],"allows":[127],"users":[128],"verify":[130],"properties":[133],"structural":[135],"system.":[139]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-05-22T06:13:13.366637","created_date":"2025-10-10T00:00:00"}