A derived timing property is a timing property that has been deduced based on either
Finding a derived timing property requires elaborate analysis and estimation.