https://www.imitator.fr
Software tool for parametric verification and robustness analysis of real-time systems with parameters
Imitator