Approximation Techniques for Timing Analysis of Complex Real-time Embedded Systems by Yue Lu | Menrva Books | MenrvaBooks