Checking parallel real-time systems for temporal duration properties by linear programming - Thai, Pham Hong (VNU Journal of Science: Natural Sciences and Technology, 2003)
Abstract