2020.06.24 株式会社ジェイテクト、電動パワーステアリング・システム・サプライヤーが安全性重視の自動車用ソフトウェア開発にSPARK Proを採用~SPARKの形式手法が、安全重視の自動運転システム向け開発、検証コストを削減~ AdaCore プレス [日本語][AdaCore社サイト]