TY  - BOOK
AU  - R J Wieringa
TI  - Design methods for reactive sytems: Yourdon, statemate and the UML
SN  - 1-55860-755-2
U1  - 004.42 
PY  - 2003///
CY  - 
PB  - Morgan Kaufmann
ER  -