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), pp. 173–184. doi: 10.15625/1813-9663/26/2/559.