Hello,
I have experience using Rockwell Arena as a simulation tool, and integrating parameters via command line with outside heuristics to produce optimal results. I worked with these tools for one of the world's largest railway (Carajas Railway in Brazil), generating and applying the results.
I never used Witness - would you provide a license? I am also currently a researcher at University of Aveiro, so if there is an academic/educational license where I could perform the work I'd be fine.
Please, feel free to contact me in case of any additional doubts.
Thanks in advance