Altisen, K.; Gössler, G.; Sifakis, J. Scheduler modeling based on the controller synthesis paradigm. (English) Zbl 1018.68006 Real-Time Syst. 23, No. 1-2, 55-84 (2002). MSC: 68M20 PDFBibTeX XMLCite \textit{K. Altisen} et al., Real-Time Syst. 23, No. 1--2, 55--84 (2002; Zbl 1018.68006) Full Text: DOI
Altisen, K.; Gößler, G.; Sifakis, J. A methodology for the construction of scheduled systems. (English) Zbl 0986.90501 Joseph, Mathai (ed.), Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1926, 106-120 (2000). MSC: 90B35 68M20 PDFBibTeX XMLCite \textit{K. Altisen} et al., Lect. Notes Comput. Sci. 1926, 106--120 (2000; Zbl 0986.90501)