{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:39:57Z","timestamp":1730209197046,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1109\/coase.2008.4626563","type":"proceedings-article","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T17:55:06Z","timestamp":1222278906000},"page":"412-417","source":"Crossref","is-referenced-by-count":1,"title":["Functional safety certification: Practice and issues"],"prefix":"10.1109","author":[{"given":"Jing","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chengyin","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangming","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Biller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"verification and optimization of a plc control schedule","author":"brinksma","year":"2000","journal-title":"Proceedings of the 7th International SPIN Workshop"},{"journal-title":"Demo3D","year":"0","key":"17"},{"key":"18","article-title":"detecting races in relay logic programs","author":"aiken","year":"1998","journal-title":"1st International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"Tecnomatix","year":"0","key":"15"},{"journal-title":"Delmia","year":"0","key":"16"},{"journal-title":"GuardLogix Controller Systems Manual","year":"0","key":"13"},{"year":"0","key":"14"},{"year":"0","key":"11"},{"journal-title":"PROFISafe","year":"0","key":"12"},{"key":"21","first-page":"234","article-title":"formal verification of plc programs, the 1998","volume":"1","author":"rausch","year":"1998","journal-title":"Proceedings of the American Control Conference"},{"journal-title":"Rockwell Automation Allen-Bradley","year":"0","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/37.272781"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"journal-title":"PLCs for safety and savings","year":"0","key":"10"},{"year":"0","key":"7"},{"journal-title":"Functional Safety and Safety Integrity Levels","year":"0","key":"6"},{"journal-title":"Industrial Automation","year":"0","key":"5"},{"journal-title":"Industry Automation","year":"0","key":"4"},{"key":"9","article-title":"formal specification and verification of plc for certification","volume":"3","author":"kim","year":"2006","journal-title":"SIGBED Review"},{"year":"0","key":"8"}],"event":{"name":"2008 IEEE International Conference on Automation Science and Engineering (CASE 2008)","start":{"date-parts":[[2008,8,23]]},"location":"Arlington, VA","end":{"date-parts":[[2008,8,26]]}},"container-title":["2008 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4622934\/4626395\/04626563.pdf?arnumber=4626563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T15:33:21Z","timestamp":1489764801000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4626563\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/coase.2008.4626563","relation":{},"subject":[],"published":{"date-parts":[[2008,8]]}}}