TY  - BOOK
AU  - Drusinsky,Doron
TI  - Modeling and verification using UML statecharts: a working guide to reactive system design, runtime monitoring and execution-based model checking 
SN  - 0750679492
PY  - 2006///
CY  - Amsterdam
PB  - Newnes
KW  - UML (Computer science)
KW  - Formal methods (Computer science)
KW  - Computer software
KW  - Development
N1  - CD-ROM contains : Diagrams and code for the example in Chapter 4, Runtime code for monitoring, Automatic white box test generation
ER  -