Rigorous Development of Complex Fault-Tolerant Systems häftadEngelska, 2006