Automated Generation of Test Models from Semi-Structured Requirements | IEEE Conference Publication | IEEE Xplore