From high-integrity embedded systems to resiliant autonomous cyber-physical systems
Origin : Files produced by the author(s)