Analysis of timing resources for highly predictable real-time systems models.