Bình, Trịnh Thanh, Trương Ninh Thuận, and Nguyễn Việt Hà. 2012. “Checking the Compliance of Timing Constraints in Software Applications”. Journal of Computer Science and Cybernetics 26 (2):173-84. https://doi.org/10.15625/1813-9663/26/2/559.