Auto-correlation of the sum of two generic signals
This is correct. You can use $R_{xy}[l]=R_{yx}^{*} [l]$ to simplify a little further to

$$R_{ss}[l] = R_{xx}[l]+R_{yy}[l]+2 \cdot  \Re\{ R_{xy}[l] \} $$