AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. - Abraham Cherfi; Antoine Rauzy; Michel Leeman (IMBSA, 2014)

Modeling automotive safety mechanisms: A Markovian approach. - Abraham Cherfi; Michel Leeman; Florent Meurville; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2014)

Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses. (Vers une Génération Efficace d'Analyses de Sûreté de Fonctionnement dans le Cadre du Déploiement de l'ISO 26262). - Abraham Cherfi (2015)