Parametric analysis of real-time embedded systems with abstract approximation interpretation | IEEE Conference Publication | IEEE Xplore