Master algorithm with Groovy scripts for Event-B simulation.