Exploring Timing Model Extractions at EAST-ADL Design-Level Using Model Transformations | IEEE Conference Publication | IEEE Xplore