Describir: Validating Automated Systems.