TY  - BOOK
AU  - Lewerentz, Claus
AU  - Lindner, Thomas
TI  - Formal development of reactive systems : case study production cell
SN  - 9783540588672
SN  - 94044675
U1  - 670.427 LIN 
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer software - Development
N1  - Includes bibliographical references
ER  -