Modeling and analysis of Electric Network Frequency signal for timestamp verification | IEEE Conference Publication | IEEE Xplore