{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:50Z","timestamp":1761597050559,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434191"},{"type":"electronic","value":"9783540460022"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46002-0_6","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T06:29:59Z","timestamp":1193552999000},"page":"67-82","source":"Crossref","is-referenced-by-count":58,"title":["Timed Automata with Asynchronous Processes: Schedulability and Decidability"],"prefix":"10.1007","author":[{"given":"Elena","family":"Fersman","sequence":"first","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":[[2002,3,14]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Y. Abdedda\u00efm and O. Maler. Job-shop scheduling using timed automata. In Proceedings of 13th Conference on Computer Aided Verification, July 18\u201323, 2001 Paris, France, 2001.","DOI":"10.1007\/3-540-44585-4_46"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"K. Altisen, G. G\u00f6\u03b2ler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, 1\u20133 December, 1999, pages 154\u2013163. IEEE Computer Society Press, 1999.","DOI":"10.1109\/REAL.1999.818838"},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/3-540-45352-0_11","volume-title":"A methodology for the construction of scheduled systems","author":"K. Altisen","year":"2000","unstructured":"K. Altisen, G. G\u00f6\u03b2ler, and J. Sifakis. A methodology for the construction of scheduled systems. In Proceedings of FTRTFT 2000, Pune, India, September 2000, LNCS 1926, pp.106\u2013120, 2000."},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"6_CR5","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":"6_CR6","doi-asserted-by":"crossref","unstructured":"T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. TIMES-a tool for modelling and implementation of embedded systems. In Proceedings of TACAS02. Springer-Verlag, 2002.","DOI":"10.1007\/3-540-46002-0_32"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"P. Bouyer, C. Dufourd, E. Fleury, and A. Petit. Are timed automata updatable? In Proceedings of the 12th International Conference on Computer-Aided Verification, Chicago, IL, USA, July 15\u201319, 2000, 2000. Springer-Verlag.","DOI":"10.1007\/10722167_35"},{"key":"6_CR8","unstructured":"G. C. Buttazzo. Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications. Kulwer Academic Publishers, 1997."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"F. Cassez and F. Laroussinie. Model-checking for hybrid systems by quotienting and constraints solving. In Proceedings of the 12th International Conference on Computer-Aided Verification, pages 373\u2013388, Standford, California, USA, 2000. Springer-Verlag.","DOI":"10.1007\/10722167_29"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"J. Corbett. Modeling and analysis of real-time ada tasking programs. In Proceedings of 15th IEEE Real-Time Systems Symposium, San Juan, Puerto Rico, USA, pages 132\u2013141. IEEE Computer Society Press, 1994.","DOI":"10.1109\/REAL.1994.342723"},{"key":"6_CR11","unstructured":"C. Ericsson, A. Wall, and W. Yi. Timed automata as task models for eventdriven systems. In Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA\u201999). IEEE Computer Society Press, 1999."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"A. Fehnker. Scheduling a steel plant with timed automata. In Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA\u201999). IEEE Computer Society Press, 1999.","DOI":"10.1109\/RTCSA.1999.811256"},{"key":"6_CR13","series-title":"Technical report","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. Technical report, Department of Information Technology, Uppsala University, Sweden, 2002."},{"issue":"2","key":"6_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193\u2013244, 1994.","journal-title":"Information and Computation"},{"issue":"1","key":"6_CR15","first-page":"43","volume":"8","author":"T. Hune","year":"2001","unstructured":"T. Hune, K. G. Larsen, and P. Pettersson. Guided Synthesis of Control Programs using Uppaal. Nordic Journal of Computing, 8(1):43\u201364, 2001.","journal-title":"Nordic Journal of Computing"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"K. G. Larsen, P. P., and W. Yi. Compositional and symbolic model-checking of real-time systems. In Proceedings of 16th IEEE Real-Time Systems Symposium, December 5\u20137, 1995-Pisa, Italy, pages 76\u201389. IEEE Computer Society Press, 1995.","DOI":"10.1109\/REAL.1995.495198"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. G. Larsen","year":"1997","unstructured":"K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Journal on Software Tools for Technology Transfer, 1(1\u20132):134\u2013152, October 1997.","journal-title":"Journal on Software Tools for Technology Transfer"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"J. McManis and P. Varaiya. Suspension automata: a decidable class of hybrid automata. In Proceedings of the 6th International Conference on Computer-Aided Verification, pages 105\u2013117, Standford, California, USA, 1994. Springer-Verlag.","DOI":"10.1007\/3-540-58179-0_47"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"W. Yi, P. Pettersson, and M. Daniels. Automatic verification of real-time communicating systems by constraint-solving. In Proceedings of the 7th International Conference on Formal Description Techniques, 1994.","DOI":"10.1007\/978-0-387-34878-0_18"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"S. Yovine","year":"1997","unstructured":"Sergio Yovine. A Verification Tool for Real Time Systems. Int. Journal on Software Tools for Technology Transfer, 1(1\u20132):134\u2013152, October 1997.","journal-title":"Int. Journal on Software Tools for Technology Transfer"}],"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-46002-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T23:50:36Z","timestamp":1737503436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46002-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434191","9783540460022"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-46002-0_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}