{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T02:41:21Z","timestamp":1769308881155,"version":"3.49.0"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. C"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/tsmcc.2012.2191404","type":"journal-article","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T19:04:54Z","timestamp":1356116694000},"page":"1465-1477","source":"Crossref","is-referenced-by-count":14,"title":["Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499"],"prefix":"10.1109","volume":"42","author":[{"given":"Li Hsien","family":"Yoong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gareth Darcy","family":"Shaw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Salcic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","year":"2011","journal-title":"nxtControl nxtRT61499F—run time systems for distributed control engineering nxtControl GmbH"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1108\/01445150610645657"},{"key":"ref31","first-page":"26","article-title":"A cookbook for using the model-view controller user interface paradigm in Smalltalk-80","volume":"1","author":"krasner","year":"1988","journal-title":"J Object-Oriented Programm"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2007216"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.151"},{"key":"ref13","first-page":"261","article-title":"A modelling approach for verification of IEC1499 function blocks using net condition\/event systems","author":"vyatkin","year":"1999","journal-title":"Proc 7th IEEE Int Conf Emerg Technol Fact Autom"},{"key":"ref14","article-title":"A timed automata model of IEC 61499 basic function blocks semantic","author":"stanica","year":"2003","journal-title":"Euromicro Conf Real-Time Syst"},{"key":"ref15","first-page":"301","article-title":"Definition of the execution model used in the Fuber IEC 61499 runtime environment","author":"?engi?","year":"2008","journal-title":"Proc IEEE Int Conf Ind Informatics"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2010.2067210"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6266-7_41"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2010.01.001"},{"key":"ref19","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"ref28","year":"2011","journal-title":"Function Block Development Kit"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1287\/opre.9.3.383"},{"key":"ref3","year":"2011","journal-title":"OMG Unified Modeling Language (OMG UML) Superstructure Version 2 4 1 Object Management Group"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275713"},{"key":"ref29","year":"2011","journal-title":"4DIAC-RTE (FORTE) IEC 61499 Compliant Runtime Environment PROFACTOR Produktionsforschungs GmbH"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417418"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.128"},{"key":"ref7","first-page":"1269","article-title":"Formal modeling of function block applications running in IEC 61499 execution runtime","author":"?engi?","year":"2006","journal-title":"Proc 11th IEEE Int Conf Emerg Technol Fact Autom"},{"key":"ref2","year":"2005"},{"key":"ref9","first-page":"1","article-title":"Efficient implementation of IEC 61499 function blocks","author":"yoong","year":"2009","journal-title":"Proc IEEE Int Conf Ind Technol"},{"key":"ref1","year":"2003"},{"key":"ref20","first-page":"29","article-title":"Formal models for communication-based design","author":"sangiovanni-vincentelli","year":"2000","journal-title":"Proc 11th Int Conf Concurr Theory"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/43.766731"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"ref23","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Proc IFIP Congr"},{"key":"ref26","author":"robertazzi","year":"2000","journal-title":"Computer Networks and Systems Queueing Theory and Performance Evaluation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(82)90009-8"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5326\/6330018\/06198367.pdf?arnumber=6198367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:46Z","timestamp":1633909906000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6198367\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":34,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsmcc.2012.2191404","relation":{},"ISSN":["1094-6977","1558-2442"],"issn-type":[{"value":"1094-6977","type":"print"},{"value":"1558-2442","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11]]}}}