Meta-metrics for simulations in software engineering on the example of integral safety systems
An example from space: New development for high dependability for space board computing
Safety of compilers and translation techniques - Status quo of technology and science