Bình, T. T., Thuận, T. N., & Hà, N. V. (2012). Checking the compliance of timing constraints in software applications. Journal of Computer Science and Cybernetics, 26(2), 173–184. https://doi.org/10.15625/1813-9663/26/2/559