Bình, T. T., T. N. Thuận, and N. V. Hà. “Checking the Compliance of Timing Constraints in Software Applications”. Journal of Computer Science and Cybernetics, vol. 26, no. 2, Apr. 2012, pp. 173-84, doi:10.15625/1813-9663/26/2/559.