Text this: Software design methods for concurrent and real-time systems/