┌───────────────┐
                           │{{             │
                           ├───────────────┤
┌───────────────────────┐  │|||            │
│{{                     │  │T o<-] : m_a() │
├───────────────────────┤  │activate T     │
│activate O2            │  │loop           │
│O2 -> O1 : m_b()       │  │T -> T : w()   │
│activate O1            │  │activate T     │
│O1 -> O1 : do_w()      │  │deactivate T   │
│activate O1            │  │               │
│deactivate O1          │  │|||            │
│O1 ->>] : signal() \t\t│  │[->> T : \t\t\t│
│O1 -> O1 : do_m()      │  │T -> T : h_s() │
│activate O1            │  │activate T     │
│deactivate O1          │  │deactivate T   │
│O2 <-- O1              │  │               │
│deactivate O1          │  │T -> T : do_o()│
│deactivate O2          │  │activate T     │
│}}                     │  │deactivate T   │
│                       │  │deactivate T   │
└───────────────────────┘  │end            │
                           │}}             │
                           │               │
                           └───────────────┘