Help
BMotion Studio is a tool built on top of the ProB Java API for creating domain specific visualisations of formal models.
There exists an integration for Rodin.
Standalone
Tutorial
User Manual