Relaxed Correctness for Firm Real-Time Databases | IEEE Conference Publication | IEEE Xplore