{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:35Z","timestamp":1750221035692,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,24]]},"DOI":"10.1145\/3289402.3289514","type":"proceedings-article","created":{"date-parts":[[2019,2,27]],"date-time":"2019-02-27T15:00:49Z","timestamp":1551279649000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["An SDL to Discrete-Time PROMELA Transformation of Home Area Network model"],"prefix":"10.1145","author":[{"given":"Zahid","family":"Soufiane","sequence":"first","affiliation":[{"name":"Institut National des Postes et T\u00e9l\u00e9communications (INPT), Rabat-Morocco"}]},{"given":"En-Nouaary","family":"Abdeslam","sequence":"additional","affiliation":[{"name":"Institut National des Postes et T\u00e9l\u00e9communications (INPT), Rabat-Morocco"}]},{"given":"Bah","family":"Slimane","sequence":"additional","affiliation":[{"name":"Ecole Mohammadia d'Ing\u00e9nieurs (EMI), Rabat-Morocco"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"International Conference on (pp. 1--6). IEEE.","author":"Soufiane Z.","year":"2016","unstructured":"Soufiane , Z. , Slimane , B. , & Abdeslam , E. N. ( 2016 , November). A synthesis of communication architectures and services of smart grid systems. In Systems of Collaboration (SysCo) , International Conference on (pp. 1--6). IEEE. Soufiane, Z., Slimane, B., & Abdeslam, E. N. (2016, November). A synthesis of communication architectures and services of smart grid systems. In Systems of Collaboration (SysCo), International Conference on (pp. 1--6). IEEE."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Mediterranean Symposium on Smart City Applications (pp. 28--43)","author":"Soufiane Z.","year":"2017","unstructured":"Soufiane , Z. , Abdeslam , E. N. , & Slimane , B. ( 2017 , October). SDL Modeling and Validation of Home Area Network in Smart Grid Systems . In Proceedings of the Mediterranean Symposium on Smart City Applications (pp. 28--43) . Springer, Cham. Soufiane, Z., Abdeslam, E. N., & Slimane, B. (2017, October). SDL Modeling and Validation of Home Area Network in Smart Grid Systems. In Proceedings of the Mediterranean Symposium on Smart City Applications (pp. 28--43). Springer, Cham."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of TACAS (pp. 363--377)","author":"Bo\u0161nacki D.","year":"2000","unstructured":"Bo\u0161nacki , D. , Dams , D. , Holenderski , L. , & Sidorova , N. ( 2000 ). Model checking SDL with Spin . In Proc. of TACAS (pp. 363--377) . Bo\u0161nacki, D., Dams, D., Holenderski, L., & Sidorova, N. (2000). Model checking SDL with Spin. In Proc. of TACAS (pp. 363--377)."},{"key":"e_1_3_2_1_4_1","first-page":"423","volume-title":"The Next Millennium. Proceedings of the Ninth SDL Forum (No. EPFL-CONF-185030","author":"Bozga M.","year":"1999","unstructured":"Bozga , M. , Fernandez , J. C. , Ghirvu , L. , Graf , S. , Krimm , J. P. , Mounier , L. , & Sifakis , J. ( 1999 ). IF: An intermediate representation for SDL and its applications. In SDL\" 99 . The Next Millennium. Proceedings of the Ninth SDL Forum (No. EPFL-CONF-185030 , pp. 423 -- 440 ). Bozga, M., Fernandez, J. C., Ghirvu, L., Graf, S., Krimm, J. P., Mounier, L., &Sifakis, J. (1999). IF: An intermediate representation for SDL and its applications. In SDL\" 99. The Next Millennium. Proceedings of the Ninth SDL Forum (No. EPFL-CONF-185030, pp. 423--40)."},{"key":"e_1_3_2_1_5_1","volume-title":"SDL: Meeting the IoT Challenge. In International Conference on System Analysis and Modeling (pp. 36--50)","author":"Sherratt E.","year":"2016","unstructured":"Sherratt , E. ( 2016 , October) . SDL: Meeting the IoT Challenge. In International Conference on System Analysis and Modeling (pp. 36--50) . Springer, Cham. Sherratt, E. (2016, October). SDL: Meeting the IoT Challenge. In International Conference on System Analysis and Modeling (pp. 36--50). Springer, Cham."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2015.97"},{"issue":"1","key":"e_1_3_2_1_7_1","first-page":"14","article-title":"Verification of an SDL Specification- a Case Study","volume":"72","author":"Vlaovic B.","year":"2005","unstructured":"Vlaovic , B. , Vreze , A. , Brezocnik , Z. , & Kapus , T. ( 2005 ). Verification of an SDL Specification- a Case Study . ElektrotehniskiVestnik , 72 ( 1 ), 14 -- 21 . Vlaovic, B., Vreze, A., Brezocnik, Z., & Kapus, T. (2005). Verification of an SDL Specification- a Case Study. ElektrotehniskiVestnik, 72(1), 14--21.","journal-title":"ElektrotehniskiVestnik"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2006.10.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2015.97"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2685238"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2008.09.005"},{"issue":"4","key":"e_1_3_2_1_12_1","first-page":"235","article-title":"Model checking using Spin and SpinRCP","volume":"43","author":"Brezocnik Z.","year":"2013","unstructured":"Brezocnik , Z. , Vlaovic , B. , & Vre\u017ee , A. ( 2013 ). Model checking using Spin and SpinRCP . Inform. MIDEM , 43 ( 4 ), 235 -- 250 . Brezocnik, Z., Vlaovic, B., & Vre\u017ee, A. (2013). Model checking using Spin and SpinRCP. Inform. MIDEM, 43(4), 235--250.","journal-title":"Inform. MIDEM"},{"key":"e_1_3_2_1_13_1","volume-title":"Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique. In 2018 Second IEEE International Conference on Robotic Computing (IRC) (pp. 392--398)","author":"Subburaj V. H.","year":"2018","unstructured":"Subburaj , V. H. , & Urban , J. E. ( 2018 , January) . Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique. In 2018 Second IEEE International Conference on Robotic Computing (IRC) (pp. 392--398) . IEEE. Subburaj, V. H., & Urban, J. E. (2018, January). Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique. In 2018 Second IEEE International Conference on Robotic Computing (IRC) (pp. 392--398). IEEE."},{"key":"e_1_3_2_1_14_1","volume-title":"The intermediate representation IF. Internal document, don't distribute, 2(1), 8--3","author":"Bozga M.","year":"1998","unstructured":"Bozga , M. , Fernandez , J. C. , Ghirvu , L. , Graf , S. , Mounier , L. , Krimm , J. P. , & Sifakis , J. ( 1998 ). The intermediate representation IF. Internal document, don't distribute, 2(1), 8--3 . Bozga, M., Fernandez, J. C., Ghirvu, L., Graf, S., Mounier, L., Krimm, J. P., & Sifakis, J. (1998). The intermediate representation IF. Internal document, don't distribute, 2(1), 8--3."},{"key":"e_1_3_2_1_15_1","volume-title":"Extending the Translation from SDL to Promela. Lecture notes in computer science, 79--94","author":"Prigent A.","year":"2002","unstructured":"Prigent , A. , Cassez , F. , Dhaussy , P. , & Roux , O. ( 2002 ). Extending the Translation from SDL to Promela. Lecture notes in computer science, 79--94 . Prigent, A., Cassez, F., Dhaussy, P., & Roux, O. (2002). Extending the Translation from SDL to Promela. Lecture notes in computer science, 79--94."},{"key":"e_1_3_2_1_16_1","volume-title":"Embedding a Dialect of SDL in PROMELA. Lecture notes in computer science, 245--261","author":"Tuominen H.","year":"1999","unstructured":"Tuominen , H. ( 1999 ). Embedding a Dialect of SDL in PROMELA. Lecture notes in computer science, 245--261 . Tuominen, H. (1999). Embedding a Dialect of SDL in PROMELA. Lecture notes in computer science, 245--261."}],"event":{"name":"SITA'18: THEORIES AND APPLICATIONS","acronym":"SITA'18","location":"Rabat Morocco"},"container-title":["Proceedings of the 12th International Conference on Intelligent Systems: Theories and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3289402.3289514","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3289402.3289514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:38Z","timestamp":1750207418000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3289402.3289514"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":16,"alternative-id":["10.1145\/3289402.3289514","10.1145\/3289402"],"URL":"https:\/\/doi.org\/10.1145\/3289402.3289514","relation":{},"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}