,---------------.
                           |{{             |
                           |---------------|
,-----------------------.  ||||            |
|{{                     |  |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            |
                           |}}             |
                           |               |
                           `---------------'