Real-time database systems (Pergamon, 1996)