TY  - BOOK
AU  - Wieringa,R.J.
TI  - Design methods for reactive systems: Yourdon, Statemate, and the UML 
SN  - 1558607552
PY  - 2003///
CY  - Amsterdam
PB  - Morgan Kaufmann
KW  - Computer software
KW  - Development
KW  - System design
ER  -