Vacuous real-time requirements.

Amalinda Post, Jochen Hoenicke, Andreas Podelski

Browse the full RE paper archive.