1 JRC – IE Petten Benchmark Exercise of Safety Evaluation of Computer Based Systems V.Kopustinskas 1, C.Kirchsteiger 1, B.Soubies 2, F.Daumas 2, J.Gassino.
