Timing predictability of cache replacement policies
Rate monotonic schedulability tests using period-dependent conditions
Cost enforcement in the real-time specification for Java