Xiong, Jinjun2022-03-022022-03-022013https://publica.fraunhofer.de/handle/publica/155196International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, TAU 2013