An Introduction to Timing Analysis with the TimingAnalyzer