{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:49:00Z","timestamp":1725630540506},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/etfa.2009.5347060","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:11Z","timestamp":1260456251000},"page":"1-10","source":"Crossref","is-referenced-by-count":7,"title":["Testing real-time task networks with functional extensions using model-checking"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Buker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Metzner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Formal Methods in Testing","year":"2002","author":"hierons","key":"ref10"},{"key":"ref11","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Information Processing '74 Proceedings of the IFIP Congress"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_22"},{"key":"ref13","first-page":"33","article-title":"HW\/SW partitioning using high level metrics","author":"knerr","year":"2004","journal-title":"Proc International Conference on Computing Communications and Control Technologies (CCCT)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638458"},{"key":"ref15","first-page":"343","article-title":"Automated test generation from timed automata","author":"nielsen","year":"2001","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref16","article-title":"Influence of Different System Abstractions on the Performance Analysis of Distributed RealTime Systems","author":"perathoner","year":"2007","journal-title":"Proc of International Conference on Embedded Software"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2003.1253270"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.13"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1109\/ASAP.2005.64","article-title":"Using symbolic feasibility tests during design space exploration of heterogeneous multiprocessor systems","author":"schlichter","year":"2005","journal-title":"Proc International Conference on Application-Specific Systems Architecture and Processors (ASAP'05)"},{"key":"ref4","article-title":"Specifying and Generating Test Cases Using Observer Automata","author":"blom","year":"2005","journal-title":"LNCS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30182-0_91"},{"journal-title":"Hard-ware\/software codesign of embedded systems - the spi workbench","year":"1999","author":"ernst","key":"ref6"},{"key":"ref5","first-page":"201","article-title":"Test derivation from timed automata","author":"briones","year":"2005","journal-title":"Formal Methods and Software Engineering Lecture Notes in Computer Science 3472"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639422"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.019"},{"key":"ref2","article-title":"A Tutorial on Uppaa1 2004–11–17","author":"behrmann","year":"2004","journal-title":"Technical Report"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266323"},{"journal-title":"Design Space Exploration of Network Processor Architectures","year":"2002","author":"thiele","key":"ref20"}],"event":{"name":"2009 IEEE 14th International Conference on Emerging Technologies & Factory Automation. ETFA 2009","start":{"date-parts":[[2009,9,22]]},"location":"Mallorca","end":{"date-parts":[[2009,9,25]]}},"container-title":["2009 IEEE Conference on Emerging Technologies & Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340902\/5346987\/05347060.pdf?arnumber=5347060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T08:21:14Z","timestamp":1558686074000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5347060\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/etfa.2009.5347060","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}