yes, they are mentioned in technology library.
For more info, look into the textbook "Static timing analysis for nanometer designs: a practical approach J. Bhasker, Rakesh Chadha".
Not sure about the chapter number, I think chapter-2 will clear your doubts.