Drusinsky, Doron <br/><br/>
Modeling and verification using UML statecharts :  a working guide to reactive system design, runtime monitoring and execution-based model checking / 
 Modeling and verification using UML statecharts  a working guide to reactive system design, runtime monitoring and execution-based model checking  [electronic resource] : 
Doron Drusinsky 
 - Amsterdam :  Newnes,  2006 
 - xii, 294, 302, 306p. :  ill. ;  23 cm. +  1 computer disc 
<br/><br/>CD-ROM contains : Diagrams and code for the example in Chapter 4, Runtime code for monitoring, Automatic white box test generation 
<br/><br/><label>ISBN: </label>0750679492 
<br/><br/><label>Subjects--Topical Terms: </label><br/>UML (Computer science)<br/>Formal methods (Computer science)<br/>Computer software--Development