Describir: Engineering trustworthy systems :