Tools for real-time constraints by R. Derwig