This is really a no-brainer as far as a state chart code generation tool is concerned. We simply say that if a transition from A to B is triggered by event E, there can be additional guard conditions that are evaluated before deciding whether to take the transition.
-- DaleBrayden - 16 Jul 2002