{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T23:10:22Z","timestamp":1736118622034,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308034"},{"type":"electronic","value":"9783540322962"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596042_123","type":"book-chapter","created":{"date-parts":[[2005,11,24]],"date-time":"2005-11-24T15:14:40Z","timestamp":1132845280000},"page":"1211-1224","source":"Crossref","is-referenced-by-count":0,"title":["Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Satoshi","family":"Yamane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"123_CR1","unstructured":"Joseph, M. (ed.): Real-time Systems: Specification, Verification and Analysis. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"123_CR2","unstructured":"Liu, J.W.S.: Real-Time Systems. Prentice-Hall, Englewood Cliffs (2000)"},{"key":"123_CR3","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, Dordrecht (1997)"},{"key":"123_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. TCS\u00a0126, 183\u2013235 (1994)","journal-title":"TCS"},{"key":"123_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-Checking in Dense Real-Time. Information and Computation\u00a0104, 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"123_CR6","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Information and Computation\u00a0111, 193\u2013244 (1994)","journal-title":"Information and Computation"},{"key":"123_CR7","first-page":"182","volume-title":"Proc. of RTSCA 1999","author":"C. Ericsson","year":"1999","unstructured":"Ericsson, C., Wall, A., Yi, W.: Timed Automata as Task Models for Event driven Systems. In: Proc. of RTSCA 1999, pp. 182\u2013189. IEEE CS, Los Alamitos (1999)"},{"key":"123_CR8","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":"123_CR9","doi-asserted-by":"crossref","unstructured":"McManis, J., Varaiya, P.: Suspension automata: A decidable class of hybrid automata. LNCS, vol.\u00a0818, pp. 105\u2013117 (1994)","DOI":"10.1007\/3-540-58179-0_47"},{"key":"123_CR10","first-page":"132","volume-title":"Proc. of RTSS","author":"J.C. Corbett","year":"1994","unstructured":"Corbett, J.C.: Modeling and analysis of real-time Ada tasking programs. In: Proc. of RTSS, pp. 132\u2013141. IEEE CS, Los Alamitos (1994)"},{"key":"123_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/10722167_29","volume-title":"Computer Aided Verification","author":"F. Cassez","year":"2000","unstructured":"Cassez, F., Laroussinie, F.: Model-checking for hybrid systems by quotienting and constraints solving. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 373\u2013388. Springer, Heidelberg (2000)"},{"key":"123_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Coucoubetis, C., Halbwachs, N., et al.: The algorithmic analysis of hybrid systems. TCS\u00a0138, 3\u201334 (1995)","journal-title":"TCS"},{"key":"123_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-44612-5_19","volume-title":"Mathematical Foundations of Computer Science 2000","author":"P. Bouyer","year":"2000","unstructured":"Bouyer, P., Dufourd, C., Fleury, \u00c9., Petit, A.: Expressiveness of updatable timed automata. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 232\u2013242. Springer, Heidelberg (2000)"},{"key":"123_CR14","unstructured":"Jensen, E.D., Locke, C.D., Tokuda, H.: A time-driven scheduling model for realtime operating systems. In: Proc. of RTSS, pp. 112\u2013122 (1985)"},{"key":"123_CR15","doi-asserted-by":"crossref","unstructured":"Kao, B., Garcia-Molina, H., Adelberg, B.: On building distributed soft real-time systems. In: Proc. of WPDRTS, pp. 13\u201319 (1995)","DOI":"10.1109\/WPDRTS.1995.470512"},{"key":"123_CR16","doi-asserted-by":"crossref","unstructured":"Kavi, K.M., Youn, H.Y., Shirazi, B., Hurson, A.R.: A Performability Model for Soft Real-Time Systems. In: Proc. of HICSS, pp. 571\u2013579 (1994)","DOI":"10.1109\/HICSS.1994.323226"},{"key":"123_CR17","unstructured":"Gardner, M.K.: Probabilstic Analysis and Scheduling of Critical Soft Real-time Systems. PhD thesis. University of Illinois, Urbana, Illinois (1999)"},{"key":"123_CR18","doi-asserted-by":"crossref","unstructured":"Hansson, H., Jonsson, B.: A calculus for communicating systems with time and probabilities. In: Proc. of RTSS, pp. 278\u2013287 (1990)","DOI":"10.1109\/REAL.1990.128759"},{"key":"123_CR19","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking for probabilistic real-time systems. LNCS, vol.\u00a0510, pp. 115\u2013136, Springer, Heidelberg (1991)","DOI":"10.1007\/3-540-54233-7_128"},{"key":"123_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/3-540-48778-6_5","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"M. Kwiatkowska","year":"1999","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. In: Katoen, J.-P. (ed.) AMAST-ARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol.\u00a01601, pp. 75\u201395. Springer, Heidelberg (1999)"},{"key":"123_CR21","doi-asserted-by":"crossref","unstructured":"D\u2019Argenio, P.R., Katoen, J.-P., Brinksma, E.: Specification and Analysis of Soft RealTime Systems: Quantity and Quality. In: Proc. of RTSS, pp. 104\u2013114 (1999)","DOI":"10.1109\/REAL.1999.818832"},{"key":"123_CR22","doi-asserted-by":"crossref","unstructured":"Tindell, K.: Fixed-Priority Scheduling of Hard Real-Time Systems. PhD thesis. University of York, UK (1994)","DOI":"10.1093\/comjnl\/37.8.691"},{"key":"123_CR23","doi-asserted-by":"crossref","unstructured":"Dill, D.L.: Timing assumptions and veri cation of finite-state concurrent systems. LNCS, vol.\u00a0407, pp. 197\u2013212, Springer, Heidelberg (1989)","DOI":"10.1007\/3-540-52148-8_17"},{"key":"123_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/BFb0014568","volume-title":"Theoretical Aspects of Computer Software","author":"S. Yamane","year":"1997","unstructured":"Yamane, S., Nakamura, K.: Symbolic Model-Checking Method Based on Approximations and BDDs for Real-Time Systems. In: Ito, T., Abadi, M. (eds.) TACS 1997. LNCS, vol.\u00a01281, pp. 562\u2013582. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Embedded and Ubiquitous Computing \u2013 EUC 2005 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596042_123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:34:37Z","timestamp":1736116477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596042_123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308034","9783540322962"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11596042_123","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}