{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T19:10:24Z","timestamp":1742757024361,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288715"},{"type":"electronic","value":"9783642288722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_9","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"115-129","source":"Crossref","is-referenced-by-count":1,"title":["Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems"],"prefix":"10.1007","author":[{"given":"Leo","family":"Hatvani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","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. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-40903-8_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T. Amnell","year":"2004","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 60\u201372. Springer, Heidelberg (2004)"},{"issue":"4","key":"9_CR3","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":"9_CR4","first-page":"77","volume":"1","author":"M. \u00c5sberg","year":"2010","unstructured":"\u00c5sberg, M., Nolte, T., Pettersson, P.: Prototyping and code synthesis of hierarchically scheduled systems using times. Journal of Convergence (Consumer Electronics)\u00a01(1), 77\u201386 (2010)","journal-title":"Journal of Convergence (Consumer Electronics)"},{"key":"9_CR5","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications. Kulwer Academic Publishers (1997)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11867340_10","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. David","year":"2006","unstructured":"David, A., H\u00e5kansson, J., Larsen, K., Pettersson, P.: Model Checking Timed Automata with Priorities Using DBM Subtraction. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 128\u2013142. Springer, Heidelberg (2006)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"David, A., Illum, J., Larsen, K., Skou, A.: Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1. CRC Press (2011\/12\/27 (2009)","DOI":"10.1201\/9781420067859-c4"},{"issue":"8","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E. Fersman","year":"2007","unstructured":"Fersman, E., Krcal, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Information and Computation\u00a0205(8), 1149\u20131172 (2007)","journal-title":"Information and Computation"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.tcs.2005.11.019","volume":"354","author":"E. Fersman","year":"2006","unstructured":"Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci.\u00a0354, 301\u2013317 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR10","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":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-16561-0_21","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"M. Miku\u010dionis","year":"2010","unstructured":"Miku\u010dionis, M., Larsen, K., Rasmussen, J., Nielsen, B., Skou, A., Palm, S., Pedersen, J., Hougaard, P.: Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol.\u00a06416, pp. 175\u2013190. Springer, Heidelberg (2010)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Norstr\u00f6m, C., Wall, A., Yi, W.: Timed automata as task models for event-driven systems. In: Sixth International Conference on Real-Time Computing Systems and Applications, RTCSA 1999, pp. 182\u2013189 (1999)","DOI":"10.1109\/RTCSA.1999.811218"},{"key":"9_CR13","unstructured":"Schaefer, I.: Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems. Ph.D. thesis, TU Kaiserslautern, Kaiserslautern, Germany (October 2008) ISBN 978-3-89963-862-2"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Yu, F., Li, G., Xiong, N.: Schedulability analysis of multi-processor real-time systems using uppaal. In: 2010 2nd International Conference on Information Science and Engineering (ICISE), pp. 1\u20136 (December 2010)","DOI":"10.1109\/ICISE.2010.5689944"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:49:59Z","timestamp":1742755799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}