Timo Kerstan, Daniel Baldin, Gunnar Schomaker. Formale Bestimmung von Systemparametern zum transparenten Scheduling virtueller Maschinen unter Echtzeitbedingungen. In Wolfgang A. Halang, Peter Holleczek, editors, Software-intensive verteilte Echtzeitsysteme - Echtzeit 2009, Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time), Boppard, 19. und 20. November 2009. Informatik Aktuell, pages 41-48, Springer, 2009. [doi]