Drusinsky, Doron. <br/><br/>
Modeling and verification using UML statecharts  a working guide to reactive system design, runtime monitoring, and execution-based model checking /  [electronic resource] : 
Doron Drusinsky. 
 - Burlington, MA :  Newnes,  c2006. 
 - xii, 306 p. :  ill. 
<br/><br/>Includes bibliographical references (p. 295-301) and index. 
<br/><br/><br/>Electronic reproduction. <br/>Palo Alto, Calif. : <br/>ebrary, <br/>2013. <br/>Available via World Wide Web. <br/>Access may be limited to ebrary affiliated libraries. 
<br/><br/><label>ISBN: </label>0750679492 (alk. paper) 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.<br/>Formal methods (Computer science)<br/>UML (Computer science)
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.76.D47  / D78 2006eb 
<br/><br/><label>Dewey Class. No.: </label>005.1/17