Caroline Witty, Sarah Santos, Travis D. Breaux: Automating Translation from Legal Text to Legal Requirements Specification Language. REW 2025: 40-48