複雑化する車載ネットワーク、協調仕様開発で悩んだデンソーが選んだ検証方法