Formal development of reactive systems case study production cell - Lewerentz, Claus; Lindner, Thomas 1966-. (Berlin Springer-Verlag, 1995)
Keywords: Computer software -- Development