Accurate GPS-based timestamp facility for Gran Sasso National Laboratory. (1st April 2019) - Deo, M. De