Thai, Pham.
" Checking parallel real-time systems for temporal duration properties by linear programming." <em>VNU Journal of Science: Natural Sciences and Technology</em> [Online], 19.4 (2003): n. pag. Web. 16 May. 2024