Αποστολή με SMS: The derivation of CTMC models for distributed real-time tasks from their data-flow graph representation C.T.I. Technical Report TR 92.09.14