Cheap CTL Compassion in NuSMV. - Daniel Hausmann 001; Tadeusz Litak; Christoph Rauch; Matthias Zinner (VMCAI, 2020)