Text this: STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS.