I am the author or co-author of four tools :

    SOFAT

    a toolbox for formal analysis, verification, classification and simulation of scenarios. It is available from this page

    DAXML

    a distributed implementation of Distributed AXML, a formal language for the description, verification and implementation of data driven services. This software is available from this page.

    SIMSTORS

    a simulator for stochastic systems with regulation. More info on this page.

    MOCHY

    MOCHY is an OPEN source toolbox for the simulation and analysis of concurrent hybrid systems.More info on this page.