Lewerentz, Claus Formal development of reactive systems : case study production cell Claus Lewerentz, Thomas Lindner, eds - Berlin Springer-Verlag c1995 - xi, 394 p. : ill. ; 24 cm Includes bibliographical references ISBN: 9783540588672 ISSN: 94044675 Subjects--Topical Terms: Computer software - Development Dewey Class. No.: 670.427 LIN