{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:46:54Z","timestamp":1725558414323},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540406730"},{"type":"electronic","value":"9783540451457"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45145-7_23","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T18:45:11Z","timestamp":1277491511000},"page":"253-258","source":"Crossref","is-referenced-by-count":2,"title":["Formal Modeling for a Real-Time Scheduler and Schedulability Analysis"],"prefix":"10.1007","author":[{"given":"Sung-Jae","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Andre, C.: SyncCharts: A Visual Representation of Reactive Behavior, Technical report RR-95-52, 13S (1995)","key":"23_CR1"},{"unstructured":"Andre, C.: Representation and Analysis of Reactive Behaviors: A Synchronous Approach. In: CESA 1996 (1996)","key":"23_CR2"},{"unstructured":"Andre, C., Peraldi-Frati, M.-A.: Behavioral Specification of a Circuit using SyncCharts: a Case Study. In: Proc. of the 26th EUROMICRO Conference (2000)","key":"23_CR3"},{"unstructured":"Bate, I., Burns, A.: Schedulability Analysis of Fixed Priority Real-Time Systems with Offsets. In: 9th Euromicro Workshop on Real Time Systems (1997)","key":"23_CR4"},{"doi-asserted-by":"crossref","unstructured":"Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation, Science of Computer Programming (1992)","key":"23_CR5","DOI":"10.1016\/0167-6423(92)90005-V"},{"doi-asserted-by":"crossref","unstructured":"Bouali, A.: XEVE: an ESTEREL verification environment, Technical Report RT-0214, Inria (1997)","key":"23_CR6","DOI":"10.1007\/BFb0028770"},{"unstructured":"Choi, J.-Y., Lee, I., Xie, H.-L.: The Specification and Schedulability Analysis of Real-Time Systems Using ACSR. In: Proc. of Real-Time System Symposium (1995)","key":"23_CR7"},{"unstructured":"Lehoczky, J., Sha, L., Ding, Y.: The Rate Monotonic Scheduling Algorithm. In: Proc. of Real-Time Systems Symposium (1989)","key":"23_CR8"},{"unstructured":"Lim, S.-M., Choi, J.-Y.: Specification and verification of Real-Time Systems Using ACSR-VP. In: 4th International Workshop on Real-Time Computing Systems and Applications (1997)","key":"23_CR9"},{"doi-asserted-by":"crossref","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocol: An Approach to Real-Time Synchronizaion. IEEE Transactions on Computers (1990)","key":"23_CR10","DOI":"10.1109\/12.57058"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45145-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T03:11:27Z","timestamp":1558667487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45145-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540406730","9783540451457"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45145-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}