I'm surprised to read they used a Linux (ok patched with PREEMPT_RT) for real-time safety critical software.