[Boost-users] [Statechart] How to decide between post_event and process_event atrun time ?