CSTNU Tool: A Java Library for Checking Temporal Networks. To cite this Original Software Publication: https://www.sciencedirect.com/science/article/pii/S2352711021001564 - View it on GitHub