Formal Development of Reactive Systems (1995)

by C Lewerentz, T Lindner
Venue:Case Study Production Cell, LNCS