The AltaRica data-flow language in use: modeling of production availability of a multi-state system. - Marie Boiteau; Yves Dutuit; Antoine Rauzy; Jean-Pierre Signoret (Reliab. Eng. Syst. Saf., 2006)