{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:08Z","timestamp":1761597188371},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229421"},{"type":"electronic","value":"9783540301011"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30101-1_15","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:05:42Z","timestamp":1267106742000},"page":"314-329","source":"Crossref","is-referenced-by-count":22,"title":["Priority Systems"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","first-page":"154","volume-title":"Proc. RTSS 1999","author":"K. Altisen","year":"1999","unstructured":"Altisen, K., G\u00f6ssler, G., Pnueli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: Proc. RTSS 1999, pp. 154\u2013163. IEEE Computer Society Press, Los Alamitos (1999)"},{"issue":"1\/2","key":"15_CR2","first-page":"55","volume":"23","author":"K. Altisen","year":"2002","unstructured":"Altisen, K., G\u00f6ssler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on \u201dcontroltheoretical approaches to real-time computing\u201d\u00a023(1\/2), 55\u201384 (2002)","journal-title":"Journal of Real-Time Systems, special issue on \u201dcontroltheoretical approaches to real-time computing\u201d"},{"key":"15_CR3","unstructured":"Bauer, L., Ligatti, J., Walker, D.: A calculus for composing security policies. Technical Report TR-655-02, Princeton University (2002)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-46419-0_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Bornot","year":"2000","unstructured":"Bornot, S., G\u00f6ssler, G., Sifakis, J.: On the construction of live timed systems. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 109\u2013126. Springer, Heidelberg (2000)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-540-24597-1_36","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"G. G\u00f6ssler","year":"2003","unstructured":"G\u00f6ssler, G., Sifakis, J.: Component-based construction of deadlock-free systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 420\u2013433. Springer, Heidelberg (2003)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-540-39656-7_19","volume-title":"Formal Methods for Components and Objects","author":"G. G\u00f6ssler","year":"2003","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modeling. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 443\u2013466. Springer, Heidelberg (2003)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b96721","volume-title":"Proc. SPIN 2004","author":"S. Graf","year":"2004","unstructured":"Graf, S., Ober, I., Ober, I.: Model checking of uml models via a mapping to communicating extended timed automata. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989. Springer, Heidelberg (2004)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-45212-6_18","volume-title":"Embedded Software","author":"C. Kloukinas","year":"2003","unstructured":"Kloukinas, C., Nakhli, C., Yovine, S.: A methodology and tool support for generating scheduled native code for real-time java applications. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 274\u2013289. Springer, Heidelberg (2003)"},{"key":"15_CR10","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. Technical Report TR-681-03, Princeton University (2003)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 1995","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 229\u2013242. Springer, Heidelberg (1995)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization\u00a025(1) (1987)","DOI":"10.1137\/0325013"},{"key":"15_CR13","unstructured":"Rutten, E., Marchand, H.: Task-level programming for control systems using discrete control synthesis. Technical Report 4389, INRIA (2002)"},{"issue":"1","key":"15_CR14","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F. Schneider","year":"2000","unstructured":"Schneider, F.: Enforceable security policies. ACM Transactions on Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Transactions on Information and System Security"},{"key":"15_CR15","volume-title":"ECOOP 2000 Workshop Proceedings","author":"P. Tarr","year":"2000","unstructured":"Tarr, P., D\u2019Hondt, M., Bergmans, L., Lopes, C.V.: Workshop on aspects and dimensions of concern: Requirements on, challenge problems for, advanced separation of concerns. In: ECOOP 2000 Workshop Proceedings, Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30101-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:46:54Z","timestamp":1558856814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30101-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229421","9783540301011"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30101-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}