Bình, Trịnh Thanh, et al. “Checking the Compliance of Timing Constraints in Software Applications”. <i>Journal of Computer Science and Cybernetics</i>, vol. 26, no. 2, Apr. 2012, pp. 173-84, doi:10.15625/1813-9663/26/2/559.