https://intlibrary.ir/download/formal-modeling-and-analysis-of-timed-systems:-18t-47265-3371/