Applications logicielles certifiables 1 : processus principaux.
Boulanger, Jean-Louis.