{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:08Z","timestamp":1750220048301,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the National Natural Science Foundation of China Grant","award":["61902011"],"award-info":[{"award-number":["61902011"]}]},{"name":"National Key Project","award":["GJXM92579"],"award-info":[{"award-number":["GJXM92579"]}]},{"name":"State Key Laboratory of Software Development Environment (Beihang University) Open Project","award":["SKLSDE-2021ZX-01"],"award-info":[{"award-number":["SKLSDE-2021ZX-01"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550356.3559085","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"12-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards the practical adoption of LIDL"],"prefix":"10.1145","author":[{"given":"Ning","family":"Ge","sequence":"first","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"given":"Yunduo","family":"Wang","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"given":"Yuan","family":"Wang","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"given":"Yong","family":"Wang","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"volume-title":"Leveraging Applications of Formal Methods","author":"Abdulla Parosh Aziz","unstructured":"Parosh Aziz Abdulla , Johann Deneux , Gunnar St\u00e5lmarck , Herman \u00c5gren , and Ove \u00c5kerlund . 2006. Designing Safe , Reliable Systems Using Scade . In Leveraging Applications of Formal Methods , Tiziana Margaria and Bernhard Steffen (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 115--129. Parosh Aziz Abdulla, Johann Deneux, Gunnar St\u00e5lmarck, Herman \u00c5gren, and Ove \u00c5kerlund. 2006. Designing Safe, Reliable Systems Using Scade. In Leveraging Applications of Formal Methods, Tiziana Margaria and Bernhard Steffen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 115--129.","key":"e_1_3_2_1_1_1"},{"volume-title":"Implementing domain-specific languages with Xtext and Xtend","author":"Bettini Lorenzo","unstructured":"Lorenzo Bettini . 2016. Implementing domain-specific languages with Xtext and Xtend . Packt Publishing Ltd . Lorenzo Bettini. 2016. Implementing domain-specific languages with Xtext and Xtend. Packt Publishing Ltd.","key":"e_1_3_2_1_2_1"},{"volume-title":"Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems","author":"Jos\u00e9","unstructured":"Jos\u00e9 C. Campos and Michael D. Harrison. 2009. Interaction Engineering Using the IVY Tool . In Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems ( Pittsburgh, PA, USA) (EICS '09). Association for Computing Machinery, New York, NY, USA, 35--44. Jos\u00e9 C. Campos and Michael D. Harrison. 2009. Interaction Engineering Using the IVY Tool. In Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Pittsburgh, PA, USA) (EICS '09). Association for Computing Machinery, New York, NY, USA, 35--44.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/3319499.3328228"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/ICSE.2012.6227239"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/TASE.2017.8285636"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/5.97300"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/2906363.2906372"},{"key":"e_1_3_2_1_9_1","volume-title":"The lustre v6 reference manual. https:\/\/www-verimag.imag.fr\/DIST-TOOLS\/SYNCHRONE\/lustre-v6\/doc\/lv6-ref-man.pdf. [Online","author":"Jahier Erwan","year":"2022","unstructured":"Erwan Jahier , Pascal Raymond , and Nicolas Halbwachs . 2016. The lustre v6 reference manual. https:\/\/www-verimag.imag.fr\/DIST-TOOLS\/SYNCHRONE\/lustre-v6\/doc\/lv6-ref-man.pdf. [Online ; accessed 16- July - 2022 ]. Erwan Jahier, Pascal Raymond, and Nicolas Halbwachs. 2016. The lustre v6 reference manual. https:\/\/www-verimag.imag.fr\/DIST-TOOLS\/SYNCHRONE\/lustre-v6\/doc\/lv6-ref-man.pdf. [Online; accessed 16-July-2022]."},{"key":"e_1_3_2_1_10_1","volume-title":"SCADE: A Comprehensive Framework for Critical System and Software Engineering. In SDL 2011: Integrating System and Software Modeling, Iulian Ober and Ileana Ober (Eds.). Springer Berlin Heidelberg","author":"Sergent Thierry Le","year":"2012","unstructured":"Thierry Le Sergent . 2012 . SCADE: A Comprehensive Framework for Critical System and Software Engineering. In SDL 2011: Integrating System and Software Modeling, Iulian Ober and Ileana Ober (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 2--3. Thierry Le Sergent. 2012. SCADE: A Comprehensive Framework for Critical System and Software Engineering. In SDL 2011: Integrating System and Software Modeling, Iulian Ober and Ileana Ober (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 2--3."},{"volume-title":"Un langage formel pour la conception, la sp\u00e9cification et la v\u00e9rification d'interfaces homme-machine embarqu\u00e9es critiques. Theses. INSTITUT SUPERIEUR DE L'AERONAUTIQUE ET DE L'ESPACE (ISAE)","author":"Lecrubier Vincent","unstructured":"Vincent Lecrubier . 2016. Un langage formel pour la conception, la sp\u00e9cification et la v\u00e9rification d'interfaces homme-machine embarqu\u00e9es critiques. Theses. INSTITUT SUPERIEUR DE L'AERONAUTIQUE ET DE L'ESPACE (ISAE) ; UNIVERSITE DE TOULOUSE. https:\/\/hal.archives-ouvertes.fr\/tel-01455466 Vincent Lecrubier. 2016. Un langage formel pour la conception, la sp\u00e9cification et la v\u00e9rification d'interfaces homme-machine embarqu\u00e9es critiques. Theses. INSTITUT SUPERIEUR DE L'AERONAUTIQUE ET DE L'ESPACE (ISAE); UNIVERSITE DE TOULOUSE. https:\/\/hal.archives-ouvertes.fr\/tel-01455466","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1177\/0037549716658360"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1614390.1614393"},{"volume-title":"Formal Techniques for Safety-Critical Systems, Osman Hasan and Fr\u00e9d\u00e9ric Mallet (Eds.)","author":"Singh Neeraj Kumar","unstructured":"Neeraj Kumar Singh , Yamine A\u00eft-Ameur , Dominique M\u00e9ry , David Navarre , Philippe Palanque , and Marc Pantel . 2020. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661 . In Formal Techniques for Safety-Critical Systems, Osman Hasan and Fr\u00e9d\u00e9ric Mallet (Eds.) . Springer International Publishing , Cham , 21--39. Neeraj Kumar Singh, Yamine A\u00eft-Ameur, Dominique M\u00e9ry, David Navarre, Philippe Palanque, and Marc Pantel. 2020. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. In Formal Techniques for Safety-Critical Systems, Osman Hasan and Fr\u00e9d\u00e9ric Mallet (Eds.). Springer International Publishing, Cham, 21--39.","key":"e_1_3_2_1_14_1"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"acronym":"MODELS '22","name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3559085","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3559085","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:08Z","timestamp":1750183688000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3559085"}},"subtitle":["a toolchain for modeling human-machine interface software interactions"],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":14,"alternative-id":["10.1145\/3550356.3559085","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3559085","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}