Checking the compliance of timing constraints in software applications - Bình, Trịnh Thanh; Thuận, Trương Ninh; Hà, Nguyễn Việt (Journal of Computer Science and Cybernetics, 2012)
See full text.