Text this: A new compression algorithm for data-flow graph models of distributed real-time tasks C.T.I. Technical Report TR 92.04.9