Akrida, Eleni C., Spirakis, Paul G., "On Verifying and Maintaining Connectivity of Interval Temporal Networks", Parallel Processing Letters, 2025