Title: On the modeling and evaluation of real-time systems
First published: 2000