自動運転システム検証の妥当性確認ソリューションを提供しているForetellixがシリーズCで4,200万ドルの資金調達を実施