{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:19:40Z","timestamp":1740028780140,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_16","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:04Z","timestamp":1269897124000},"page":"224-239","source":"Crossref","is-referenced-by-count":17,"title":["Schedulability Analysis Using Two Clocks"],"prefix":"10.1007","author":[{"given":"Elena","family":"Fersman","sequence":"first","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","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-46002-0_32","volume-title":"Times \u2014 a tool for modelling and implementation of embedded systems","author":"T. Amnell","year":"2002","unstructured":"T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Times \u2014 a tool for modelling and implementation of embedded systems. In In Proc.TACAS\u201902, volume 2280 of LNCS, pages 460\u2013464. Springer, 2002."},{"key":"16_CR3","unstructured":"T. Amnell, E. Fersman, P. Pettersson, H. Sun, and W. Yi. Code synthesis for timed automata. To appear in Nordic Journal of Computing, 2003."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"K. Altisen, G. G\u00f6\u00dfler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In In Proc. IEEE RTSS\u201999, pages 154\u2013163, 1999.","DOI":"10.1109\/REAL.1999.818838"},{"key":"16_CR5","first-page":"55","volume":"23","author":"K. Altisen","year":"2002","unstructured":"K. Altisen, G. G\u00f6\u00dfler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on Control Approaches to Real-Time Computing, 23:55\u201384, 2002.","journal-title":"Journal of Real-Time Systems, special issue on Control Approaches to Real-Time Computing"},{"key":"16_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-44585-4_46","volume-title":"Job-shop scheduling using timed automata","author":"Y. Abdedda\u00efm","year":"2001","unstructured":"Y. Abdedda\u00efm and O. Maler. Job-shop scheduling using timed automata. In In Proc. CAV\u201901, volume 2102 of LNCS, pages 478\u2013492. Springer, 2001."},{"key":"16_CR7","unstructured":"G. C. Buttazzo. Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications. Kulwer Academic Publishers, 1997."},{"key":"16_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/10722167_29","volume-title":"Model-checking for hybrid systems by quotienting and constraints solving","author":"F. Cassez","year":"2000","unstructured":"F. Cassez and F. Laroussinie. Model-checking for hybrid systems by quotienting and constraints solving. In In Proc. CAV\u201900, volume 1855 of LNCS, pages 373\u2013388. Springer, 2000."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"J. Corbett. Modeling and analysis of real-time ada tasking programs. In In Proc. IEEE RTSS\u201994, pages 132\u2013141, 1994.","DOI":"10.1109\/REAL.1994.342723"},{"key":"16_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Taxys: a tool for the development and verification real-time embedded systems","author":"E. Closse","year":"2001","unstructured":"E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. Taxys: a tool for the development and verification real-time embedded systems. In In Proc. CAV\u201901, volume 2102 of LNCS. Springer, 2001."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"A. Fehnker. Scheduling a steel plant with timed automata. In In Proc. IEEE RTCSA\u201999, 1999.","DOI":"10.1109\/RTCSA.1999.811256"},{"key":"16_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","volume-title":"Timed automata with asynchronous processes: Schedulability and decidability","author":"E. Fersman","year":"2002","unstructured":"E. Fersman, P. Pettersson, and W. Yi. Timed automata with asynchronous processes: Schedulability and decidability. In In Proc.TACAS\u201902, volume 2280 of LNCS, pages 67\u201382. Springer, 2002."},{"issue":"1","key":"16_CR13","first-page":"43","volume":"8","author":"T. Hune","year":"2001","unstructured":"Thomas Hune, Kim G. Larsen, and Paul Pettersson. Guided Synthesis of Control Programs using Uppaal. Nordic Journal of Computing, 8(1):43\u201364, 2001.","journal-title":"Nordic Journal of Computing"},{"issue":"5","key":"16_CR14","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M. Joseph","year":"1986","unstructured":"M. Joseph and P. Pandya. Finding response times in a real-time system. BSC Computer Journal, 29(5):390\u2013395, October 1986.","journal-title":"BSC Computer Journal"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"J. McManis and P. Varaiya. Suspension automata: A decidable class of hybrid automata. In In Proc. CAV\u201994, volume 818, pages 105\u2013117. Springer, 1994.","DOI":"10.1007\/3-540-58179-0_47"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:11:11Z","timestamp":1739992271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}