Frank Dederichs Claus Dendorfer Rainer Weber FOCUS: A Formal Design Method for Distributed Systems. 190-202 1993 conf/dfg/1993 Parallel Computer Architectures db/conf/dfg/dfg1993.html#DederichsDW93