Rodin Multi-Simulation plug-in for the Rodin platform