Environment Modelling for Tighter Timing Analysis of Synchronous Programs | IEEE Conference Publication | IEEE Xplore