A Security Analysis and Revised Security Extension for the Precision Time Protocol. - Eyal Itkin; Avishai Wool (IEEE Trans. Dependable Secur. Comput., 2020)