Rutten, J. J. M. M.  <br/><br/>
Mathematical techniques for analyzing concurrent and probabilistic systems 
/ by J. J. M. M. Rutten 
 - USA  AMS  2004 
 - 215p.