K. G. Larsen, C. Weise, W. Yi, and J. Pearson, “Clock Difference Diagrams”, BRICS, vol. 5, no. 46, Jun. 1998.