TACO: A scalable framework for timing analysis and code optimization of synchronous programs | IEEE Conference Publication | IEEE Xplore