Dependability – A Case Study