Statistics of A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2