Timing analysis enhancement for synchronous program

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae. Timing analysis enhancement for synchronous program. Real-Time Systems, 51(2):192-220, 2015. [doi]

Abstract

Abstract is missing.