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

• TEST SEQUENCE GENERATION OF PROTOCOL WITH SPONTANEOUS EVENTS