FPD-an environment for exact timing analysis | IEEE Conference Publication | IEEE Xplore