An Extensible Structure for Protected Systems' Design. - Jean Ferrié; Claude Kaiser; Didier Lanciaux; Bernard Martin (Comput. J., 1976)