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