D. A. M. José e B. H. C. Martins, “Lamport Logical Clock Teaching Tool (LLCTT): A New Tool for Teaching Clock Synchronization in Distributed Systems”, RBIE, vol. 34, p. 739–769, maio 2026.