Accounting for clock frequency variation in the analysis of distributed factory control systems | IEEE Conference Publication | IEEE Xplore