Describir: Development of Safety-Critical Systems