BMotion Studio enables the developer of a formal model to set-up easily a domain specific visualization. BMotion Studio is based on makes use of the ProB Java API. At the moment BMotion Studio supports users to create domain specific visualisations for Event-B, Classical-B, CSP and TLA.
It exists an integration for Rodin.