" Issues in Verification and Validation of Neural Network Based Approaches for Fault-Diagnosis in Autonomous Systems.POMPES PAR TRANSITIONS MULTIPLES "