Tools for real-time constraints door R. Derwig