Succesfully tested using JTorX with updated traveller.mcrl2 and multiple seeds