I am the author or co-author of three 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.