Modeling a BSG-E Automotive System with the Timing Augmented Description language.