{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T02:18:38Z","timestamp":1768270718618,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540216711","type":"print"},{"value":"9783540409038","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-40903-8_6","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:37:38Z","timestamp":1294414658000},"page":"60-72","source":"Crossref","is-referenced-by-count":77,"title":["TIMES: A\u00a0Tool for Schedulability Analysis and Code Generation of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Amnell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Fersman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonid","family":"Mokrushin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-46002-0_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times - a tool for modelling and implementation of embedded systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 460\u2013464. Springer, Heidelberg (2002)"},{"issue":"4","key":"6_CR2","first-page":"269","volume":"9","author":"T. Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Pettersson, P., Sun, H., Yi, W.: Code synthesis for timed automata. Nordic Journal of Computing\u00a09(4), 269\u2013300 (2002)","journal-title":"Nordic Journal of Computing"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/54.655185","volume":"15","author":"F. Balarin","year":"1998","unstructured":"Balarin, F., Lavagno, L., Murthy, P., Sangiovanni-vincentelli, A.: Scheduling for embedded real-time systems. IEEE Design & Test of Computers\u00a015(1), 71\u201382 (1998)","journal-title":"IEEE Design & Test of Computers"},{"key":"6_CR4","volume-title":"Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications","author":"G.C. Buttazzo","year":"1997","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"6_CR5","unstructured":"Ericsson, C., Wall, A., Yi, W.: Timed automata as task models for event-driven systems. In: Proceedings of Nordic Workshop on Programming Theory (1998)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-36577-X_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Fersman","year":"2003","unstructured":"Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Schedulability analysis using two clocks. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 224\u2013239. Springer, Heidelberg (2003)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Fersman","year":"2002","unstructured":"Fersman, E., Pettersson, P., Yi, W.: Timed automata with asynchronous processes: Schedulability and decidability. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 67\u201382. Springer, Heidelberg (2002)"},{"key":"6_CR8","unstructured":"Fersman, E., Yi, W.: A generic approach to schedulability analysis of real-time tasks (2003) (submitted for publication)"},{"issue":"1\u20132","key":"6_CR9","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1\u20132), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"6_CR10","first-page":"11","volume-title":"Proceedings 6th IEEE Workshop on Real-Time Operating Systems and Software","author":"R. Rajkumar","year":"1998","unstructured":"Rajkumar, R., Sha, L., Lehoczky, J.P.: An experimental investigation of synchronization protocols. In: Proceedings 6th IEEE Workshop on Real-Time Operating Systems and Software, pp. 11\u201317. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"6_CR11","unstructured":"Yi, W.: A Calculus of Real Time Systems. PhD thesis, Department of Computer Science, Chalmers University of Technology (1991)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40903-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:29:27Z","timestamp":1558308567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40903-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540216711","9783540409038"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40903-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}