Wieringa, Roel. <br/><br/>
Design methods for reactive systems :  Yourdan, Statemate, and the UML / 
R.J. Wieringa. 
 - Boston :  Morgan Kaufmann Publishers,  2003. 
 - xxv, 457 p. :  ill. ; 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>1558607552 (alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software<br/>System design.
<br/><br/><label>Dewey Class. No.: </label>005.1