Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.