RTDB: a real-time database manager for time-critical applications | IEEE Conference Publication | IEEE Xplore