{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T07:46:46Z","timestamp":1751615206745},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/indin.2016.7819147","type":"proceedings-article","created":{"date-parts":[[2017,1,20]],"date-time":"2017-01-20T02:21:44Z","timestamp":1484878904000},"page":"132-141","source":"Crossref","is-referenced-by-count":3,"title":["Contract based verification of IEC 61499"],"prefix":"10.1109","author":[{"given":"Per","family":"Lindgren","sequence":"first","affiliation":[]},{"given":"Marcus","family":"Lindner","sequence":"additional","affiliation":[]},{"given":"David","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Luis Miguel","family":"Pinho","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/426713"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3182\/20090603-3-RU-2001.0306"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"International Electrotechnical Commission","article-title":"IEC standards","year":"2014","key":"ref13"},{"key":"ref14","article-title":"A Formal Perspective on IEC 61499","author":"lindgren","year":"2015","journal-title":"IEEE International Workshop on Distributed Intelligent Automation Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46823-4_7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.650"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622948"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2002.1176038"},{"key":"ref4","first-page":"53","article-title":"Why3: Shepherd your herd of provers","author":"bobot","year":"2011","journal-title":"Boogie 2011 First International Workshop on Intermediate Verification Languages"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034948"},{"key":"ref6","article-title":"The IEC 61499 Function Block Standard: Software Tools and Runtime Platforms","author":"christensen","year":"2012","journal-title":"ISA Automation Week"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2040392"},{"key":"ref8","article-title":"CC(X): Efficiently combining equality and solvable theories without canonizers","author":"conchon","year":"2007","journal-title":"SMT 2007 5th International Workshop on Satisfiability Modulo"},{"year":"2012","key":"ref7","article-title":"International Electrotechnical Commission"},{"journal-title":"ACSL ANSI C Specification Language (Preliminary Design V1 2)","year":"2008","author":"baudin","key":"ref2"},{"journal-title":"High Integrity Software The SPARK Approach to Safety and Security","year":"2003","author":"barnes","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.033"},{"journal-title":"Why3 gallery of verified programs","article-title":"The Why3 Development Team","year":"2016","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301447"}],"event":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2016,7,19]]},"location":"Poitiers, France","end":{"date-parts":[[2016,7,21]]}},"container-title":["2016 IEEE 14th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7800953\/7819121\/07819147.pdf?arnumber=7819147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:30:59Z","timestamp":1507001459000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7819147\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/indin.2016.7819147","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}