Démarche et méthodes de sûreté de fonctionnement de logiciels — Institut de sûreté de fonctionnement. Groupe de travail et de réflexion. France (62)