[Boost-users] [MSM] a timer/timeout for the whole state machine (including submachines)