For readers still defining the problem.
Each piece drawn from something NEAT actually knows, which is the only kind of white paper worth writing.
Composite fail-safety in practice
What a dual diverse structure with fail-safe comparison actually buys, what it costs, and why diagnostic coverage rather than redundancy is the hard part.
What a reference design does and does not give you
The evidence that transfers, the evidence that does not, and the realistic effect on an approval timeline.
Compiling interlocking logic from rules and topology
Generic and specific application in EN 50126/50129 terms, and what deterministic expansion means for a reviewer.
ETCS on-line key management explained
For engineers who have not read SUBSET-137, and for managers who have to budget for it.
RaSTA and EULYNX in practice
What the safety communication layer requires of an implementation, and where interoperability actually breaks.
Running commercial-grade silicon in orbit
The industrial-versus-radiation-tolerant trade-off, and system monitor architectures that make the first option defensible.