Formal Development of Reactive Systems: Case Study “Production Cell”, LNCS-891 (1995)

by C Lewerentz, T Lindner