Environment to develop component libraries for the dependability modeling tool KB3 used by EDF (http://innovation.edf.com/). KB3 is based on the FIGARO reliability modeling language (simulation of continuous time, discrete states stochastic processes). Look at "Browse All Files" page.
