Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle