CPD : a linear temporal logic over finite traces guided model checking tool. - Zeng, Xiangqi; Wang, Meng; Wang, Miao; Lu, Xu (Software Quality Journal, 2025)