Formal Development of Reactive Systems - Case Study Production Cell

Claus Lewerentz Thomas Lindner Formal Development of Reactive Systems - Case Study Production Cell Formal Development of Reactive Systems Lecture Notes in Computer Science 891 Springer 1995 3-540-58867-1 db/conf/korso/korso1995fd.html