It is well known that for two manifolds $M$ and $N$ (let's say they are compact), the Kunneth formula says that $H(M\times N)=H(M)\otimes H(N)$, where $H$ denotes de Rham cohomology with complex coefficients. We also know that one can twist de Rham cohomology by a complex flat vector bundle $E\to M$ with a flat connection $\nabla^E$. Then the differential of the chain complex $\Omega(M; E)$ is coupled with $\nabla^E$. Denote by $H(M, E)$ the corresponding de Rham cohomology.

Let $E\to M$ and $F\to N$ be complex flat vector bundles with flat connections $\nabla^E$ and $\nabla^F$. Write $p_M:M\times N\to M$ be the standard projection map and similarly for $p_N$. Then $p_M^*E\otimes p_N^*F\to M\times N$ is a complex flat vector bundle with flat connection $p_M^*\nabla^E\otimes p_N^*\nabla^F$. I wonder there should be a Kunneth formula for de Rham cohomology twisted by complex flat vector bundles, that is,

$$H(M\times N, p_M^*E\otimes p_N^*F)\cong H(M, E)\otimes H(N, F).$$

Is this assertion obviously true (or obviously wrong)? If the former case is true, is there a reference for a proof of this?