Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software | IEEE Conference Publication | IEEE Xplore