{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:42:59Z","timestamp":1730306579360,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wstfes.2004.1300422","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"99-103","source":"Crossref","is-referenced-by-count":5,"title":["Resource modeling for embedded systems design"],"prefix":"10.1109","author":[{"given":"O.","family":"Sokolsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018938205540"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818831"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/32.159840"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1996.509530"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055637"},{"key":"13","article-title":"A family of resource-bound real-time process algebras","author":"lee","year":"2001","journal-title":"Formal Techniques for Networked and Distributed Systems (FORTE'01)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24626-8_16"},{"key":"11","first-page":"287","article-title":"Heterogeneous resource management for dynamic real-time systems","author":"huh","year":"2000","journal-title":"Heterogeneous Computing Workshop"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/5.259433"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780756"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_29"},{"key":"2","first-page":"33","article-title":"Compositional refinement for hierarchical hybrid systems","volume":"2034","author":"alur","year":"2001","journal-title":"Proceedings of Hybrid Systems Computation and Control Volume 2034 of Lecture Notes in Computer Science"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015346419267"},{"key":"10","article-title":"A temporal logic based theory of test coverage and generation","author":"hong","year":"2002","journal-title":"Proc of TACAS'02"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00228-2"},{"key":"6","first-page":"494","article-title":"Verification of real-time designs: Combining scheduling theory with automatic formal verification","author":"braberman","year":"1999","journal-title":"Proc of the 7th European Engineering Conference"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566870"},{"key":"4","article-title":"Towards a uniform modeling technique for resource-usage scenarios","author":"baum","year":"1999","journal-title":"Proc PDPTA 99"},{"key":"9","article-title":"TPAP: An algebra of preemptive processes for verifying real-time systems with shared resources","author":"ermont","year":"2002","journal-title":"Workshop on Theory and Practice of Timed Systems"},{"key":"8","article-title":"The specification and schedulability analysis of real-time systems using ACSR","author":"choi","year":"1995","journal-title":"Real-Time Systems Symposium"}],"event":{"name":"Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004.","location":"Vienna, Austria"},"container-title":["Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9102\/28880\/01300422.pdf?arnumber=1300422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T23:18:09Z","timestamp":1489447089000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1300422\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/wstfes.2004.1300422","relation":{},"subject":[]}}