Book

Delta-4, a generic architecture for dependable distributed computing

by D. Powell