The BIP compiler and execution engines for simulation, execution, exploration and debug of BIP models.
The IF Intermediate Representation based on extending communicating timed automata has been defined for being able to offer a powerful toolset offering simulation, analysis and verification facilities for different modelling languages for distributed real-time systems.