T. T. Bình, T. N. Thuận, and N. V. Hà, “Checking the compliance of timing constraints in software applications”, JCC, vol. 26, no. 2, pp. 173–184, Apr. 2012.