Specification Generation for Neural Networks in Systems