Describir: Engineering dependable software systems /