Environment to develop component libraries for the dependability modeling tool KB3 used by EDF (http://researchers.edf.com/software/kb3-44337.html ). KB3 is based on the FIGARO reliability modeling language (simulation of continuous time, discrete states stochastic processes).