Bình, T. T.; Thuận, T. N.; Hà, N. V. Checking the Compliance of Timing Constraints in Software Applications. JCC 2012, 26, 173-184.