Designing fault-tolerant mobile systems /