{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:54:55Z","timestamp":1729630495502,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/etfa.2009.5347106","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:11Z","timestamp":1260456251000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Model-checking for the functional safety of Control Component-based heterogeneous embedded systems"],"prefix":"10.1109","author":[{"given":"Mohamed","family":"Khalgui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Michael","family":"Hanisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atef","family":"Gharbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-74481-8","article-title":"Holonic and multi-agent systems in manufacturing","volume":"4659","author":"marik","year":"2007","journal-title":"Book from proceedings of HoloMAS'07 conference Lecture Notes in Computer Science"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1504\/IJMIC.2008.021096"},{"key":"ref12","article-title":"A deployment method of component based applications on distributed industrial control systems","volume":"41","author":"khalgui","year":"2007","journal-title":"European Jounal of Automated Systems"},{"key":"ref13","article-title":"An approach to implement a Programmable Logic Controller from Real-time Software Components","volume":"3","author":"khalgui","year":"2008","journal-title":"International Journal of Industrial and Systems Engineering"},{"journal-title":"Rockwell Automation","year":"2006","author":"rockwell","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.637390"},{"journal-title":"Rubus OS- Reference Manual Arcticus Systems","article-title":"Arcticus","year":"2009","key":"ref16"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1145\/581372.581373","article-title":"Building Product Populations with Software Components","author":"rob van ommering","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"journal-title":"Philips-Global","year":"2007","key":"ref18"},{"journal-title":"Pecos-project","year":"2009","key":"ref19"},{"key":"ref4","article-title":"Building reliable component-based software systems","author":"crnkovic","year":"2002","journal-title":"Artech House"},{"key":"ref3","article-title":"A modular and compositional approach to modeling and controller verification of manufacturing systems","author":"hanisch","year":"1999","journal-title":"Proceedings of IFAC World Congress"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0037549704050185"},{"key":"ref5","article-title":"A Survey of Architecture Description Languages","author":"fuxman","year":"1999","journal-title":"Computer Science Department University of Toronto Tech Rep"},{"key":"ref8","article-title":"Modelling Control systems using IEC 61499","author":"lewis","year":"2001","journal-title":"Institution of Engineering and Technology"},{"journal-title":"Function blocks for Industrial Process Measurements and Control Systems","year":"2003","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1998.667803"},{"key":"ref9","article-title":"IEC61499 Function Blocks for Embedded and Distributed Control Systems Design","author":"vyatkin","year":"2007","journal-title":"Book of ISA-o3neida series Instrumentation Systems and Automation society"},{"key":"ref1","article-title":"An approach to modeling and verification of component based systems","author":"goessler","year":"2007","journal-title":"Current Trends in Theory and Practice of Computer Science SOFSEM'07"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"ref22","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"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref24","first-page":"225","article-title":"Extended Computation Tree Logic","author":"roch","year":"2000","journal-title":"Proceedings of the CESP2000 Workshop number 140in Informatik Berichte"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"key":"ref25","article-title":"Extended Computation Tree Logic: Implementation and Application","author":"roch","year":"2000","journal-title":"Proceedings of the AWPN2000 Workshop"}],"event":{"name":"Factory Automation (ETFA 2009)","start":{"date-parts":[[2009,9,22]]},"location":"Palma de Mallorca, Spain","end":{"date-parts":[[2009,9,25]]}},"container-title":["2009 IEEE Conference on Emerging Technologies & Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340902\/5346987\/05347106.pdf?arnumber=5347106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:41:17Z","timestamp":1497825677000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5347106\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/etfa.2009.5347106","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}