TEST SEQUENCE GENERATION OF PROTOCOL WITH SPONTANEOUS EVENTS

• 含自发事件的协议一致性测试例的生成