tptl-dist: A Calculus for Verifying Real-Time Distributed Systems. - Javier Enríquez Mendoza; Sam Speight; Vincent Rahli (FORTE, 2026)