ステートマシン図において、遷移のガード条件(Guard)を記述する正しい形式はどれか。

ガード条件は、イベントの直後などに角括弧 [ ] で囲んで記述する。これが真(True)の時のみ遷移する。