機能拡張したモデルベース検証支援ツールの最新版（関連情報）：組み込み開発ニュース