Étude de faisabilité d'un micro-contrôleur de très haute sécurité. (A feasibility study of a high-safety microcontroller). - Gilles Chaumontet (1990)