Martin Naedele

• On the modeling and evaluation of real-time systems