Bình, Trịnh Thanh, Trương Ninh Thuận, and Nguyễn Việt Hà. “Checking the Compliance of Timing Constraints in Software Applications”. Journal of Computer Science and Cybernetics 26, no. 2 (April 27, 2012): 173–184. Accessed April 28, 2024. https://vjs.ac.vn/index.php/jcc/article/view/559.