Methodology for the development of microprocessor based safety critical systemsMichael SchrönenÉpuisé4,3Prévenez-moi
