DRDB: a distributed real-time database server for high-assurance time-critical applications.

Sang Hyuk Son, Robert C. Beckinger, David A. Baker

Browse the full COMPSAC paper archive.