At SySMA we aim at providing formal theoretical results with strong impact in practice. For this reason, we provide tool support for many of our proposed contributions.