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