TY  - BOOK
AU  - Wieringa, R.J.
TI  - Design methods for Reactive Systems: Yourdon, Statemate, and the UML
SN  - 9781558607552
PY  - 2003///
CY  - New York
PB  - Morgan Kaufmann Publishers
ER  -