Help
BMotion Studio is a tool build on top of the ProB Java API for creating domain specific visualisations of formal models.
It exists an integration for Rodin.