TY  - BOOK
AU  - Lewerentz Claus
AU  - Lindner Thomas
TI  - Formal development of reactive systems
U1  - 005.3 
PY  - 1995///
CY  - Berlin
PB  - Springer Verlag
KW  - Reactive systems
N1  - Case study production cell
ER  -