F Herrera,
I Sander - Languages, Design Methods, and Tools for …, 2015 - Springer
In the context of the design on time-critical systems, analytical models with worst case
workloads are used to identify safe solutions that guarantee hard timing constraints …