GNSS Spoofing Detection Technique Using Fraction Parts of Double-difference Carrier Phases. (30th April 2018)