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], Volume 19 Number 4 (15 December 2003)