Schematizations in Automated Deduction -- Automata, Specification, Verification, and