{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:56:08Z","timestamp":1729652168451,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638458","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T18:08:47Z","timestamp":1223402927000},"page":"591-599","source":"Crossref","is-referenced-by-count":2,"title":["Scheduling analysis of distributed real-time systems under functional constraints"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Metzner","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.44"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.104"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269031"},{"year":"2000","key":"14"},{"key":"11","article-title":"efficient proof engines for bounded model checking of hybrid systems","author":"fra?nzle","year":"2004","journal-title":"Workshop on Formal Methods for Industrial Critical Systems"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1109\/43.664229","article-title":"performance analysis of embedded software using implicit pathenumeration","volume":"16","author":"li","year":"1997","journal-title":"IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639422"},{"key":"2","article-title":"a generic approach to schedulability analysis of real time tasks","author":"fersman","year":"2004","journal-title":"Nordic Journal of Computing"},{"journal-title":"Fixed Priority Scheduling Of Hard Real-Time Systems","year":"1994","author":"tindell","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01094342"},{"key":"7","article-title":"automotive open system architecture - an industry-wide initiative to manage the complexity of emerging automotive e\/e-architectures","author":"heinecke","year":"2004","journal-title":"Proceed Convergence 2004 International Congress on Transportation Electronics"},{"key":"6","article-title":"exploiting precedence relations in the schedulability analysis of distributed real-time systems","author":"gutie?rrez","year":"1999","journal-title":"IEEE Real-Time Systems Symposium"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24730-2_20","article-title":"decidable and undecidable problems in scheduling analysis using timed automata","volume":"2988","author":"krcal","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Echtzeitnachweis ereignisgesteuerter Realzeitsysteme","year":"1993","author":"gresser","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2003.1253270"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638458.pdf?arnumber=4638458","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T12:22:01Z","timestamp":1497788521000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638458\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638458","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}