Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm. - Lorenzo Ridi; Jacopo Torrini; Enrico Vicario (IEEE Softw., 2012)