Automated Formative Assessment With Large Language Models: Design, Validation, and Empirical Application in Higher Education | Publicación