Describir: Software engineering of fault tolerant systems /