Georg Rock Werner Stephan Andreas Wolpers Tool Support for the Compositional Development of Distributed Systems. 89-98 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#RockSW97