{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:51:32Z","timestamp":1743130292216,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540674429"},{"type":"electronic","value":"9783540455912"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45591-4_101","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T05:18:03Z","timestamp":1195017483000},"page":"738-742","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Framework for Embedded Real-time System Design"],"prefix":"10.1007","author":[{"given":"Jin-Young","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hee-Hwan","family":"Kwak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,25]]},"reference":[{"key":"101_CR1","unstructured":"A. Burns. Preemptive priority-based scheduling: An appropriate engineering approach. In Sang H. Song, editor, Advances in Real-Time Systems, chapter 10, pages 225\u2013248. Prentice Hall, 1995."},{"key":"101_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-60630-0_6","volume-title":"Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems","author":"U. Engberg","year":"1995","unstructured":"Uffe Engberg and Kim S. Larsen. Efficient Simplification of Bisimulation Formulas. In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pages 111\u2013132. LNCS 1019, Springer-Verlag, 1995."},{"key":"101_CR3","unstructured":"G. Gupta and E. Pontelli. A constraint-based approach for specification and verification of real-time systems. In Proceedings IEEE Real-Time Systems Symposium, December 1997."},{"key":"101_CR4","unstructured":"Constance Heitmeyer and Dino Mandrioli. Formal Methods for Real-Time Computing. John Wiley and Sons, 1996."},{"key":"101_CR5","unstructured":"Mathai Joseph. Real-Time Systems: Specification, Verification and Analysis. Prentice Hall Intl., 1996."},{"key":"101_CR6","unstructured":"Hee Hwan Kwak. Process Algebraic Approach to the Parametric Analysis of Real-time Scheduling Problems. PhD thesis, University of Pennsylvania, 2000."},{"key":"101_CR7","unstructured":"Hee-Hwan Kwak, Jin-Young Choi, Insup Lee, Anna Philippou, and Oleg Sokolsky. Symbolic Schedulability Analysis of Real-time Systems. In Proceedings IEEE Real-Time Systems Symposium, December 1998."},{"key":"101_CR8","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/135226.135233","volume":"8","author":"W. Pugh","year":"1992","unstructured":"William Pugh. The Omega test: a fast and practical integer programming algorithm for dependence analysis. Communications of the ACM, 8:102\u2013114, August 1992.","journal-title":"Communications of the ACM"},{"key":"101_CR9","unstructured":"Jun Sun. Fixed-priority End-to-end Scheduling in Distributed Real-time Systems. PhD thesis, University of Illinois at Urbana-Champaign, 1997."}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45591-4_101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T05:11:17Z","timestamp":1586149877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45591-4_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540674429","9783540455912"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45591-4_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"25 May 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}