Wieringa, R. J. <br/><br/>
Design methods for reactive systems :  Yourdon, Statemate, and the UML / 
R. J. Wieringa 
 - Amsterdam :  Morgan Kaufmann,  2003 
 - 457 p. :  ill. ;  24 cm 
<br/><br/><label>ISBN: </label>1558607552 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development<br/>System design