Text this: Analysis and synthesis of distributed real-time embedded systems /