A transformed timing property is a timing property that has been translated (or ported) from a timing property at another (lower or higher) abstraction level than the transformed timing property in question.