Schneider, S. <br/><br/>
Concurrent and Realtime systems 

 - Chichester  John Wiley & Sons  2000 
 - xv, 510p. 
<br/><br/><label>ISBN: </label>0-471-62373-3