{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:54:02Z","timestamp":1730220842449,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/etfa.2018.8502565","type":"proceedings-article","created":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T22:20:08Z","timestamp":1542320408000},"page":"43-48","source":"Crossref","is-referenced-by-count":0,"title":["Automatic generation of formal models for diagnosability of DES"],"prefix":"10.1109","author":[{"given":"R.","family":"Nardone","sequence":"first","affiliation":[]},{"given":"G.","family":"De Tommasi","sequence":"additional","affiliation":[]},{"given":"N.","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"A.","family":"Pironti","sequence":"additional","affiliation":[]},{"given":"V.","family":"Vittorini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TII.2011.2174248"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/MESA.2008.4735662"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/ICSEA.2009.22"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/WODES.2016.7497845"},{"key":"ref14","first-page":"267","article-title":"A study of approaches for model based development of an automotive driver information system","author":"guo","year":"2009","journal-title":"3rdAnnual IEEE Systems Conference"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/0167-6423(87)90035-9"},{"year":"2003","author":"holzmann","journal-title":"SPIN Model Checker The Primer and Reference Manual","key":"ref16"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/978-3-540-24732-6_6"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/TII.2011.2123901"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1115\/IMECE2007-42754"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/s10617-008-9028-9"},{"key":"ref4","article-title":"An experimental comparison of three diagnosis techniques for discrete event systems","author":"boussif","year":"2017","journal-title":"28th International Workshop On Principles Of Diagnosis (DX'17)"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/TII.2005.844427"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.scico.2016.09.002"},{"key":"ref6","first-page":"182","article-title":"Priorities, inhibitor arcs and concurrency in p\/t nets","volume":"91","author":"chiola","year":"1991","journal-title":"Proc of ICATPN"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/j.automatica.2013.04.041"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TIE.2009.2029584"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TII.2012.2235073"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/j.automatica.2012.06.039"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/s10270-016-0572-7"},{"year":"2017","journal-title":"Xpress-Optimizer-Reference manual release 31 01 FICO™ Xpress Optimization Suite","key":"ref1"},{"key":"ref20","first-page":"128","article-title":"Transforming models with atl","author":"jouault","year":"2005","journal-title":"Proc Int'l Conf Model Driven Eng Languages and Systems"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/TSE.1987.233170"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/MBSE.2009.5031716"},{"key":"ref24","first-page":"93","article-title":"Dynamic state machines for formalizing railway control system specifications","author":"nardone","year":"2014","journal-title":"International Workshop on Formal Techniques for Safety-Critical Systems"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-319-04426-2_10"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/9.412626"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/5.21072"}],"event":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2018,9,4]]},"location":"Turin","end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488382\/8502441\/08502565.pdf?arnumber=8502565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T19:01:13Z","timestamp":1598209273000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502565\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/etfa.2018.8502565","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}