124245.fig.006a
(a) Pattern 0
124245.fig.006b
(b) Pattern 1
124245.fig.006c
(c) Pattern 2
Figure 6: Reachability with buffer length .