6.3 When Approximation Meets Dependability