[B!] 人工衛星のファームウェアをRustで書く理由
https://b.hatena.ne.jp/entry/s/speakerdeck.com/koba789/why-rust-for-satellite

スライドの最後の部分、信頼性のみを追及なら、RustよりもSPARKを採用するだろうからそうだよね感＞＜