On the modeling and evaluation of real-time systems

by Martin Naedele