{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:26:21Z","timestamp":1761488781221},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042451","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T16:57:26Z","timestamp":1318525046000},"page":"482-487","source":"Crossref","is-referenced-by-count":3,"title":["Towards an automated verification process for industrial safety applications"],"prefix":"10.1109","author":[{"given":"Kleanthis","family":"Thramboulidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doaa","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2008.4757968"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DCDS.2011.5970332"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.32014"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2011.44024"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","author":"larsen","year":"1997","journal-title":"Journal on Software Tools for Technology transfer"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2011.01.001"},{"key":"ref4","article-title":"IEC6113l-3: Programming Industrial Automation System: Concepts and Programming Languages, Requirements for Program","author":"john","year":"2001","journal-title":"Systems Aids to Decision-Making Tools"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641353"},{"key":"ref6","article-title":"Visualization of PLC Programs using XML","author":"bani younis","year":"0","journal-title":"Proceeding of the 2004 American Control Conference Boston Massachusetts"},{"journal-title":"IEC 61511 - Functional safety Safety Instrumented Systems for the process industry sector2003\/","article-title":"International Electrotechnical Commission(IEC)","year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.26"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.10"},{"journal-title":"IEC 62061 - Safety of machinery - Functional safety- Electrical electronic and programmable electronic control systems Committee draft 29–09–2000","article-title":"Inter. Electrotechnical Commission (IEC)","year":"0","key":"ref2"},{"journal-title":"IEC 61508 - Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems","article-title":"International Electrotechnical Commission (IEC)","year":"1998","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03240-0_17"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042451.pdf?arnumber=6042451","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:55:49Z","timestamp":1497930949000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042451\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042451","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}