Wieringa, R.J. <br/><br/>
Design methods for Reactive Systems: Yourdon, Statemate, and the UML 

 - New York  Morgan Kaufmann Publishers  2003 
 - 457p. 
<br/><br/><label>ISBN: </label>9781558607552