Mathematical design Bulding reliable complex computer sytems . - Roth J Paul (1999)