Real-Time Systems Design And Analysis - Laplante (Wiley & Son Newyork, 2014)