Envoyer par SMS: DEPEND : a design environment for prediction and evaluation of system dependability / Kumar K. Goswami and Ravishankar K. Iyer.