Dependable computing for critical applications 4 (Springer, 1995)