Automated test case generation from high-level logic requirements using model transformation techniques | IEEE Conference Publication | IEEE Xplore