Modeling and Security Analysis of IEEE 802.1AS Using Hierarchical Colored Petri Nets | IEEE Conference Publication | IEEE Xplore