Vacuous real-time requirements | IEEE Conference Publication | IEEE Xplore