{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:47:14Z","timestamp":1730220434085,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641197","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T21:11:18Z","timestamp":1291151478000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Optimal model checking of safe control embedded software components"],"prefix":"10.1109","author":[{"given":"A","family":"Gharbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S B","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"Building reliable component-based software systems","author":"crnkovic","year":"2002","journal-title":"Artech House"},{"key":"2","first-page":"152","article-title":"Design models for reusable and reconfigurable state machines","volume":"3824","author":"angelov","year":"2005","journal-title":"LNCS"},{"key":"1","article-title":"An ontology-based reconfiguration agent for intelligent mechatronic systems","author":"al-safi","year":"0","journal-title":"Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems Springer-Verlag 2007"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1504\/IJSPM.2008.022076"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/TC.2007.1021"},{"key":"5","first-page":"103","article-title":"Modular modelling of closed-loop systems","author":"hanisch","year":"1999","journal-title":"Colloquium on Petri Net Technologies for Modelling Communication Based Systems"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/b106318"},{"key":"9","first-page":"225","article-title":"Extended computation tree logic","author":"roch","year":"2000","journal-title":"Proceedings of the CESP2000 Workshop number 140in Informatik Berichte"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/ETFA.1995.496811"}],"event":{"name":"Factory Automation (ETFA 2010)","start":{"date-parts":[[2010,9,13]]},"location":"Bilbao","end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641197.pdf?arnumber=5641197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T05:19:04Z","timestamp":1490073544000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641197\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641197","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}