TD-Magic: From Pictures of Timing Diagrams To Formal Specifications | IEEE Conference Publication | IEEE Xplore