Describir: Engineering Dependable Software Systems.