A software defined implementation of time-differenced carrier phase solution with random sample consensus Proceedings