Automatic specification of feasible Control Tasks in Benchmark Production Systems | IEEE Conference Publication | IEEE Xplore