AutoTap:使用LTL属性合成和修复触发操作程序| IEEE会议出版物| IEEE Xplore