[Boost-users] Interval Timer