Automated Generation of Test Models from Semi-Structured Requirements