Source-level timing annotation for fast and accurate TLM computation model generation | IEEE Conference Publication | IEEE Xplore