HAC Estimation and Strong Linearity Testing in Weak ARMA