Checking parallel real - time systems for temporal duration properties by linear programming

http://repository.vnu.edu.vn/handle/11126/6351