real-time constraint