BÌNH, Trịnh Thanh; THUẬN, Trương Ninh; HÀ, Nguyễn Việt. Checking the compliance of timing constraints in software applications. <b>Journal of Computer Science and Cybernetics</b>, <i>[S. l.]</i>, v. 26, n. 2, p. 173–184, 2012. DOI: 10.15625/1813-9663/26/2/559. Disponível em: https://jcc.vast.vn/jcc/article/view/559. Acesso em: 4 nov. 2025.