BÌNH, T. T.; THUẬN, T. N.; HÀ, N. V. Checking the compliance of timing constraints in software applications. Journal of Computer Science and Cybernetics, [S. l.], v. 26, n. 2, p. 173–184, 2012. DOI: 10.15625/1813-9663/26/2/559. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/559. Acesso em: 28 apr. 2024.