Text this: BGP robustness testing based on RFSM