Krishna , CM <br/><br/>
Real Time Systems 

 -  New Delhi, TMH  1997 
 - 448