{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:48Z","timestamp":1761597228001},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_16","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:32:45Z","timestamp":1283671965000},"page":"234-248","source":"Crossref","is-referenced-by-count":2,"title":["A General Resource Framework for Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Insup","family":"Lee","sequence":"first","affiliation":[]},{"given":"Anna","family":"Philippou","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/A:1015346419267","volume":"23","author":"K. Altisen","year":"2002","unstructured":"Altisen, K., Goessler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems\u00a023, 55\u201384 (2002)","journal-title":"Journal of Real-Time Systems"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Ammar, H., Cortellessa, V., Ibrahim, A.: Modeling resources in a UML-based simulative environment. In: ACS\/IEEE International Conference on Computer Systems and Applications (AICCSA 2001) (June 2001)","DOI":"10.1109\/AICCSA.2001.934026"},{"key":"16_CR3","unstructured":"Baum, L., Kramp, T.: Towards a uniform modeling technique for resource-usage scenarios. In: Proceedings of PDPTA 1999, (June-July 1999)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Braberman, V.A., Felder, M.: Verification of real-time designs: combining scheduling theory with automatic formal verification. In: Proceedings of the 7th European Engineering Conference, pp. 494\u2013510 (1999)","DOI":"10.1145\/318774.319266"},{"issue":"7","key":"16_CR5","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1093\/comjnl\/38.7.552","volume":"38","author":"E. Brinksma","year":"1995","unstructured":"Brinksma, E., Katoen, J.-P., Latella, D., Langerak, R.: A stochastic causalitybased process algebra. The Computer Journal\u00a038(7), 552\u2013565 (1995)","journal-title":"The Computer Journal"},{"key":"16_CR6","unstructured":"Buchholtz, M., Andersen, J., Loevengreen, H.H.: Towards a process algebra for shared processors. In: Workshop on Models for Time-Critical Systems, BRICS Notes Series NS-01-5, August 2001, pp. 87\u201399 (2001)"},{"key":"16_CR7","volume-title":"Real-Time Systems Symposium","author":"J.-Y. Choi","year":"1995","unstructured":"Choi, J.-Y., Lee, I., Xie, H.-L.: The specification and schedulability analysis of real-time systems using ACSR. In: Real-Time Systems Symposium, December 1995, IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Ermont, J., Boniol, F.: TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources. In: Workshop on Theory and Practice of Timed Systems (April 2002)","DOI":"10.1016\/S1571-0661(04)80470-5"},{"key":"16_CR9","unstructured":"Huh, E., Welch, L., Shirazi, B., Cavanaugh, C.: Heterogeneous resource management for dynamic real-time systems. In: Heterogeneous Computing Workshop, May 2000, pp. 287\u2013296 (2000)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Lee, I., Br\u00e9mond-Gr\u00e9goire, P., Gerber, R.: A process algebraic approach to the specification and analysis of resource-bound real-time systems. In: Proceedings of the IEEE, January 1994, pp. 158\u2013171 (1994)","DOI":"10.1109\/5.259433"},{"key":"16_CR11","unstructured":"Lee, I., Choi, J.-Y., Kwak, H.-H., Philippou, A., Sokolsky, O.: A family of resource-bound real-time process algebras. In: Formal Techniques for Networked and Distributed Systems (FORTE 2001) (August 2001)"},{"issue":"4","key":"16_CR12","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1049\/cce:20020404","volume":"13","author":"I. Lee","year":"2002","unstructured":"Lee, I., Philippou, A., Sokolsky, O.: Process algebraic modelling and analysis of power-aware real-time systems. Computing and Control Engineering Journal\u00a013(4), 180\u2013188 (2002)","journal-title":"Computing and Control Engineering Journal"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Mehra, A., Indiresan, A., Shin, K.G.: Resource management for real-time communication: Making theory meet practice. In: Proceedings of IEEE Real-Time Technology and Applications Symposium, June 1996, pp. 130\u2013138 (1996)","DOI":"10.1109\/RTTAS.1996.509530"},{"key":"16_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall Intl., Englewood Cliffs (1989)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BFb0055637","volume-title":"CONCUR \u201998 Concurrency Theory","author":"A. Philippou","year":"1998","unstructured":"Philippou, A., Sokolsky, O., Cleaveland, R., Lee, I., Smolka, S.: Probabilistic resource failure in real-time process algebra. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 389\u2013404. Springer, Heidelberg (1998)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Saewong, S., Rajkumar, R.: Cooperative scheduling of multiple resources. In: IEEE Real-Time Systems Symposium, pp. 90\u2013101 (1999)","DOI":"10.1109\/REAL.1999.818831"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Shin, I., Lee, I., Min, S.L.: Embedded system design framework for minimizing code size and guaranteeing real-time requirements. In: Proceedings of IEEE Real- Time Systems Symposium (December 2002)","DOI":"10.1109\/REAL.2002.1181575"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1018938205540","volume":"7","author":"O. Sokolsky","year":"1999","unstructured":"Sokolsky, O., Lee, I., Ben-Abdallah, H.: Specification and analysis of real-time systems with PARAGON. Annals of Software Engineering\u00a07, 211\u2013234 (1999)","journal-title":"Annals of Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T13:39:41Z","timestamp":1559569181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}