{"id":"https://openalex.org/W4226375259","doi":"https://doi.org/10.1109/jiot.2022.3170500","title":"A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things","display_name":"A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things","publication_year":2022,"publication_date":"2022-04-26","ids":{"openalex":"https://openalex.org/W4226375259","doi":"https://doi.org/10.1109/jiot.2022.3170500"},"language":"en","primary_location":{"id":"doi:10.1109/jiot.2022.3170500","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2022.3170500","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-03916558","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077514012","display_name":"Imad Berrouyne","orcid":"https://orcid.org/0000-0002-8018-5337"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I4405259781","display_name":"Interdisciplinary Centre for Security, Reliability and Trust","ror":"https://ror.org/02qav7c04","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Imad Berrouyne","raw_affiliation_strings":["SVV Team, SnT, Universit&#x00E9; du Luxembourg, Luxembourg, Luxembourg","SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (6, rue Richard Couhenhove-Kalergi L-1359 Luxembourg - Luxembourg)"],"raw_orcid":"https://orcid.org/0000-0002-8018-5337","affiliations":[{"raw_affiliation_string":"SVV Team, SnT, Universit&#x00E9; du Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (6, rue Richard Couhenhove-Kalergi L-1359 Luxembourg - Luxembourg)","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083108215","display_name":"Mehdi Adda","orcid":"https://orcid.org/0000-0002-5327-1758"},"institutions":[{"id":"https://openalex.org/I182451676","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Rimouski","ror":"https://ror.org/049jtt335","country_code":"CA","type":"education","lineage":["https://openalex.org/I182451676","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mehdi Adda","raw_affiliation_strings":["Mathematics, Computer Science and Engineering Department, Universit&#x00E9; du Qu&#x00E9;bec &#x00E0; Rimouski, Rimouski, QC, Canada"],"raw_orcid":"https://orcid.org/0000-0002-5327-1758","affiliations":[{"raw_affiliation_string":"Mathematics, Computer Science and Engineering Department, Universit&#x00E9; du Qu&#x00E9;bec &#x00E0; Rimouski, Rimouski, QC, Canada","institution_ids":["https://openalex.org/I182451676"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078971495","display_name":"Jean\u2010Marie Mottu","orcid":"https://orcid.org/0000-0002-5245-4261"},"institutions":[{"id":"https://openalex.org/I100445878","display_name":"\u00c9cole Centrale de Nantes","ror":"https://ror.org/03nh7d505","country_code":"FR","type":"education","lineage":["https://openalex.org/I100445878","https://openalex.org/I97188460"]},{"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/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/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I4210127572","display_name":"IMT Atlantique","ror":"https://ror.org/030hj3061","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Marie Mottu","raw_affiliation_strings":["Naomod Team, Nantes Universit&#x00E9;, &#x00C9;cole Centrale Nantes, IMT Atlantique, CNRS, INRIA, LS2N, UMR 6004, Nantes, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naomod Team, Nantes Universit&#x00E9;, &#x00C9;cole Centrale Nantes, IMT Atlantique, CNRS, INRIA, LS2N, UMR 6004, Nantes, France","institution_ids":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I97188460"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026384855","display_name":"Massimo Tisi","orcid":"https://orcid.org/0000-0001-7891-9138"},"institutions":[{"id":"https://openalex.org/I100445878","display_name":"\u00c9cole Centrale de Nantes","ror":"https://ror.org/03nh7d505","country_code":"FR","type":"education","lineage":["https://openalex.org/I100445878","https://openalex.org/I97188460"]},{"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/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/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I4210127572","display_name":"IMT Atlantique","ror":"https://ror.org/030hj3061","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Massimo Tisi","raw_affiliation_strings":["Naomod Team, Nantes Universit&#x00E9;, &#x00C9;cole Centrale Nantes, IMT Atlantique, CNRS, INRIA, LS2N, UMR 6004, Nantes, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naomod Team, Nantes Universit&#x00E9;, &#x00C9;cole Centrale Nantes, IMT Atlantique, CNRS, INRIA, LS2N, UMR 6004, Nantes, France","institution_ids":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I97188460"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9264,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.85496047,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"9","issue":"20","first_page":"19757","last_page":"19772"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8374860882759094},{"id":"https://openalex.org/keywords/model-driven-architecture","display_name":"Model-driven architecture","score":0.7000561952590942},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6219176650047302},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.5381388068199158},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4950374662876129},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.4923907518386841},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4678882658481598},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4383035898208618},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4204922318458557},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.419863760471344},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4105042517185211},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3371935188770294},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.266687273979187},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.22296273708343506},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.1789337396621704},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13973993062973022}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8374860882759094},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.7000561952590942},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6219176650047302},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.5381388068199158},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4950374662876129},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.4923907518386841},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4678882658481598},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4383035898208618},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4204922318458557},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.419863760471344},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4105042517185211},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3371935188770294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.266687273979187},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.22296273708343506},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1789337396621704},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13973993062973022},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/jiot.2022.3170500","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2022.3170500","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03916558v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03916558","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Internet of Things Journal, 2022, 9 (20), pp.19757-19772. &#x27E8;10.1109/JIOT.2022.3170500&#x27E9;","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-03916558v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03916558","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Internet of Things Journal, 2022, 9 (20), pp.19757-19772. &#x27E8;10.1109/JIOT.2022.3170500&#x27E9;","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4699999988079071,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G4998597140","display_name":null,"funder_award_id":"06351","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W1479464953","https://openalex.org/W1497376763","https://openalex.org/W1508113248","https://openalex.org/W1513211656","https://openalex.org/W1514648770","https://openalex.org/W1515796738","https://openalex.org/W1559169952","https://openalex.org/W1998017916","https://openalex.org/W2001784314","https://openalex.org/W2014583667","https://openalex.org/W2014837586","https://openalex.org/W2027616579","https://openalex.org/W2050325580","https://openalex.org/W2068849277","https://openalex.org/W2071240688","https://openalex.org/W2105103777","https://openalex.org/W2114298495","https://openalex.org/W2138528159","https://openalex.org/W2146486372","https://openalex.org/W2147642262","https://openalex.org/W2155908598","https://openalex.org/W2168452204","https://openalex.org/W2234639732","https://openalex.org/W2248118469","https://openalex.org/W2404804333","https://openalex.org/W2480646718","https://openalex.org/W2525896035","https://openalex.org/W2527914898","https://openalex.org/W2553727764","https://openalex.org/W2572328730","https://openalex.org/W2573461380","https://openalex.org/W2573848005","https://openalex.org/W2597699915","https://openalex.org/W2613202329","https://openalex.org/W2754828358","https://openalex.org/W2759368202","https://openalex.org/W2884651194","https://openalex.org/W2888015330","https://openalex.org/W2892412810","https://openalex.org/W2894355752","https://openalex.org/W2903441185","https://openalex.org/W2920007056","https://openalex.org/W2943150348","https://openalex.org/W2977760444","https://openalex.org/W3013448368","https://openalex.org/W3045907113","https://openalex.org/W3214140856","https://openalex.org/W4236183354","https://openalex.org/W4239598635","https://openalex.org/W6601051524","https://openalex.org/W6748195930","https://openalex.org/W6768272606"],"related_works":["https://openalex.org/W2119542776","https://openalex.org/W307712065","https://openalex.org/W2770780096","https://openalex.org/W2531412333","https://openalex.org/W2990282666","https://openalex.org/W2387345675","https://openalex.org/W4245356976","https://openalex.org/W4364322486","https://openalex.org/W2548343386","https://openalex.org/W1265002889"],"abstract_inverted_index":{"The":[0,25,164],"Internet":[1],"of":[2,28,36,63,84,119,169],"Things":[3],"(IoT)":[4],"aims":[5],"for":[6,74],"connecting.":[7],"This":[8],"assumption":[9],"brings":[10],"about":[11],"several":[12],"software":[13,37,53,68,195],"engineering":[14,42,54,69,196],"challenges":[15],"that":[16,47,190],"constitute":[17],"a":[18,45,67,88,101,155,161,177],"serious":[19],"obstacle":[20],"to":[21,51,59,92,107,179],"its":[22,134,137],"wider":[23],"adoption.":[24],"main":[26],"feature":[27],"the":[29,34,61,64,75,81,96,109,116,120,124,128,130,141,151,167,170,174,181],"IoT":[30,65,76,121],"is":[31,44],"genericity":[32,62],"w.r.t":[33],"variability":[35],"and":[38,133,148,160,173,203],"hardware":[39],"technologies.":[40],"Model-driven":[41],"(MDE)":[43],"paradigm":[46],"advocates":[48],"using":[49],"models":[50],"address":[52],"problems.":[55],"It":[56],"can":[57],"help":[58],"meet":[60],"from":[66,136,184],"perspective.":[70],"Existing":[71],"MDE":[72,106],"approaches":[73],"focus":[77],"only":[78],"on":[79,105,154],"modeling":[80,168],"internal":[82],"behavior":[83],"things":[85],"but":[86],"lack":[87],"comprehensive":[89],"approach":[90],"dedicated":[91],"network":[93],"modeling.":[94],"In":[95],"present":[97],"article,":[98],"we":[99,114],"introduce":[100],"network-oriented":[102],"methodology":[103,152,192],"based":[104],"unify":[108],"IoT\u2019s":[110],"heterogeneous":[111],"concepts.":[112],"Fundamentally,":[113],"avoid":[115],"intrinsic":[117],"heterogeneity":[118],"by":[122],"separating":[123],"network\u2019s":[125,171],"specification":[126],"(i.e.,":[127,140],"things,":[129],"communication":[131],"scheme,":[132],"constraints)":[135],"concrete":[138],"implementation":[139],"low-level":[142,182],"artifacts,":[143],"such":[144],"as":[145],"source":[146],"code":[147,162],"documentation).":[149],"Technically,":[150],"relies":[153],"model-based":[156],"domain-specific":[157],"language":[158],"(DSL)":[159],"generator.":[163],"former":[165],"enables":[166],"specification,":[172],"latter":[175],"provides":[176],"procedure":[178],"generate":[180],"artifacts":[183],"this":[185,191],"specification.":[186],"Our":[187],"results":[188],"show":[189],"makes":[193],"iot\u2019s":[194],"more":[197],"rigorous,":[198],"helps":[199],"prevent":[200],"bugs":[201],"earlier,":[202],"saves":[204],"time.":[205]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-25T17:18:41.151588","created_date":"2025-10-10T00:00:00"}
