説明基盤：組み込みシステムの要求仕様を形式的に分析・検証する一手法