Describir: Dependable Computing