Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions.

Matthieu Moy, Karine Altisen

Browse the full TACAS paper archive.