CPDrmLTLf : a linear temporal logic over finite traces guided model checking tool. - Xiangqi Zeng; Meng Wang; Miao Wang; Xu Lu (Softw. Qual. J., 2025)