A short survey on nonlinear models of the classic Costas loop: Rigorous derivation and limitations of the classic analysis | IEEE Conference Publication | IEEE Xplore