{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T03:45:26Z","timestamp":1776829526912,"version":"3.51.2"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100003009","name":"Science and Technology Development Fund","doi-asserted-by":"publisher","award":["122\/2017\/A3"],"award-info":[{"award-number":["122\/2017\/A3"]}],"id":[{"id":"10.13039\/501100003009","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1109\/tase.2018.2868897","type":"journal-article","created":{"date-parts":[[2018,11,13]],"date-time":"2018-11-13T20:01:47Z","timestamp":1542139307000},"page":"1110-1124","source":"Crossref","is-referenced-by-count":14,"title":["Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking"],"prefix":"10.1109","volume":"16","author":[{"given":"Safa","family":"Guellouz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0775-6893","authenticated-orcid":false,"given":"Adel","family":"Benzina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6311-3588","authenticated-orcid":false,"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8483-0295","authenticated-orcid":false,"given":"Georg","family":"Frey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1547-5503","authenticated-orcid":false,"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9315-9920","authenticated-orcid":false,"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-014-0938-z"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2011.2167891"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2313352"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2013.6653990"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2574120"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2620429"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.3182\/20081205-2-CL-4009.00031"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1997.616302"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2010.2046322"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/978-3-642-35632-2_30","article-title":"Incremental runtime verification of probabilistic systems","volume":"7687","author":"forejt","year":"2012","journal-title":"Runtime Verification"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2013.2264671"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.11.011"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1049\/PBCE095E","author":"zoitl","year":"2014","journal-title":"Modelling Control Systems Using Iec 61499 Applying Function Blocks to Distributed Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2013.68050"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2188794"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2409294"},{"key":"ref15","first-page":"6","article-title":"The IEC 61499 function block standard: Overview of the second edition","volume":"6","author":"christensen","year":"2012","journal-title":"ISA Autom Week"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2496262"},{"key":"ref17","first-page":"144","article-title":"Zizo: A complete tool chain for the modeling and verification of reconfigurable function blocks","author":"guellouz","year":"2016","journal-title":"Proc 10th Int Conf Mobile Ubiquitous Comput Syst Services Technol (UBICOMM)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"key":"ref19","first-page":"200","article-title":"PRISM: Probabilistic symbolic model checker","author":"kwiatkowska","year":"2002","journal-title":"Proc 12th Int Conf Modelling Techn Tools Comput Perform Eval"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.014"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.12.015"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2521833"},{"key":"ref3","article-title":"Toward a new methodology for an efficient test of reconfigurable hardware systems","author":"ahmed","year":"0","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.24846\/v20i1y201103"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.09.001"},{"key":"ref5","article-title":"Performance optimization of reconfigurable real-time wireless sensor networks","author":"gasmi","year":"0","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2309479"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2018.04.010"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2608918"},{"key":"ref9","year":"2012","journal-title":"Function Blocks—Part 1 Architecture"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/rcs.1786"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2781460"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355449"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2645401"},{"key":"ref22","first-page":"1133","article-title":"Automatic model generation of IEC 61499 function block using net condition\/event systems","author":"pang","year":"2008","journal-title":"Proc IEEE Int Conf Ind Informatics"},{"key":"ref21","first-page":"375","article-title":"Using timed automata for the verification of IEC 61499 applications","volume":"37","author":"stanica","year":"2004","journal-title":"Proceedings of the IFAC Workshop on Discrete Event Systems (WODES)"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510772"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2016.2610185"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2017.01.012"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2016.7945784"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2573824"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510406"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2014.2371777"},{"key":"ref25","first-page":"1","article-title":"GR-TNCES: New extensions of R-TNCES for modelling and verification of flexible systems under energy and memory constraints","author":"khlifi","year":"2015","journal-title":"Proc 10th Int Joint Conf Softw Technol (ICSOFT)"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/8751732\/08533394.pdf?arnumber=8533394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:41:35Z","timestamp":1657744895000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8533394\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":46,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tase.2018.2868897","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7]]}}}