Product-Operator formalism in I>=1/2 and S>=3/2 J-coupled spins. Application to J assessment via SEDOR Experiment