Liu <br/><br/>
Real Time Systems 

 -  Pearson Education  2001 
 - 610