José, D. A. M.; Martins, B. H. C. Lamport Logical Clock Teaching Tool (LLCTT): A New Tool for Teaching Clock Synchronization in Distributed Systems. RBIE 2026, 34, 739-769.